10 reputation
3
bio website
location
age
visits member for 2 years, 3 months
seen Jun 20 at 19:27

Nov
19
comment Redirecting to /dev/null and a file at the same time
I feel really silly. Yeah, that worked... 0_0 Thanks a lot, sincerely! :)
Jun
29
comment How to change the PS1 value.
@RedGrittyBrick: That's very useful information. Thanks a lot! Could you think of any reason why it doesn't work here but elsewhere it does?
Jun
29
comment How to change the PS1 value.
I did check. I was running /bin/bash/
Jun
29
comment How to change the PS1 value.
@Terje Mikal: I see. But how does PS1="$PWD> " work on other Linux machines, then? Going by this philosophy, it shouldn't work anywhere. Can you think of any reason?
Jun
29
comment How to change the PS1 value.
That worked! Thanks! But why did $PWD not work here, but elsewhere?