Skip to main content
11 events
when toggle format what by license comment
Feb 21 at 4:09 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Oct 17, 2024 at 21:00 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Jun 16, 2024 at 3:03 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Jan 19, 2022 at 21:28 answer added Andrew timeline score: 1
Jan 19, 2022 at 21:17 history edited Andrew CC BY-SA 4.0
specified Ubuntu
Jan 14, 2022 at 22:25 comment added FelixJN Just to be sure: it sounds a bit like you modify the local .bashrc when you need to modify the one on the remote server. Also: .profile should also source .bashrc (if BASH is detected as shell). And: How do you do the login?
Jan 14, 2022 at 22:22 comment added Andrew I have started a new terminal and have logged out and in again. When I run echo $BASH_VERSION, the terminal gives 4.1.5(1)-release.
Jan 14, 2022 at 22:18 history edited Andrew CC BY-SA 4.0
clarify bash version number
Jan 14, 2022 at 22:17 comment added Kusalananda The shell runs ~/.bashrc whenever you start an interactive shell. Merely adding the lines to the files won't do much. Starting a new terminal, or logging out and in again, will cause the shell to run the added lines.
Jan 14, 2022 at 22:07 comment added ilkkachu Put something like echo hello or touch ~/testfile in the .bashrc file to see if it even gets processed properly (Bash by itself doesn't read .bashrc for login shells, just the .profile files etc. Usually they'd also read .bashrc, but...) Also, run echo $BASH_VERSION to check that it's actually Bash you're running (and not ksh or zsh, or whatever)
Jan 14, 2022 at 22:00 history asked Andrew CC BY-SA 4.0