Stream: git-wasmtime

Topic: wasmtime / issue #7725 No newline character in .bashrc af...

Wasmtime GitHub notifications bot (Dec 25 2023 at 13:25):

K0R7 opened issue #7725:

I ran curl https://wasmtime.dev/install.sh -sSf | bash on my Debian, then typed cat .bashrc and found there was no newline character at the end of the file. This could be a problem when another install script executes echo "..." >> .bashrc then the two unrelated lines become one.

Wasmtime GitHub notifications bot (Dec 25 2023 at 14:02):

K0R7 closed issue #7725:

I ran curl https://wasmtime.dev/install.sh -sSf | bash on my Debian, then typed cat .bashrc and found there was no newline character at the end of the file. This could be a problem when another install script executes echo "..." >> .bashrc then the two unrelated lines become one.

Wasmtime GitHub notifications bot (Dec 25 2023 at 14:02):

K0R7 commented on issue #7725:

Well, I found it's an issue of another repository, wasmtime.dev.

Wasmtime GitHub notifications bot (Dec 25 2023 at 14:25):

K0R7 reopened issue #7725:

I ran curl https://wasmtime.dev/install.sh -sSf | bash on my Debian, then typed cat .bashrc and found there was no newline character at the end of the file. This could be a problem when another install script executes echo "..." >> .bashrc then the two unrelated lines become one.

Wasmtime GitHub notifications bot (Dec 25 2023 at 14:25):

K0R7 commented on issue #7725:

I have created a pull request at https://github.com/bytecodealliance/wasmtime.dev/pull/22.

Wasmtime GitHub notifications bot (Dec 25 2023 at 16:55):

tschneidereit closed issue #7725:

I ran curl https://wasmtime.dev/install.sh -sSf | bash on my Debian, then typed cat .bashrc and found there was no newline character at the end of the file. This could be a problem when another install script executes echo "..." >> .bashrc then the two unrelated lines become one.

Last updated: Nov 22 2024 at 17:03 UTC