diff options
| author | Mountain Man <43313373+MountainMan1312@users.noreply.github.com> | 2023-03-28 15:24:15 -0400 |
|---|---|---|
| committer | Mountain Man <43313373+MountainMan1312@users.noreply.github.com> | 2023-03-28 15:24:15 -0400 |
| commit | fa18823e035ab14640540325ccf8eadff11fee35 (patch) | |
| tree | 274b7d6d05f1b0adc3053fea0924e55f42171556 /home/user | |
| parent | Organize things into folders (diff) | |
| download | dotfiles.old-fa18823e035ab14640540325ccf8eadff11fee35.tar.gz dotfiles.old-fa18823e035ab14640540325ccf8eadff11fee35.tar.bz2 dotfiles.old-fa18823e035ab14640540325ccf8eadff11fee35.zip | |
Use same '.bashrc' file for all users
It is more convenient and maintainable to use the same '.bashrc' for all
users. This will allow, for instance, the PS1 prompt to be conditionally
tailored for certain kinds of users.
Diffstat (limited to 'home/user')
| -rw-r--r-- | home/user/.bashrc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/home/user/.bashrc b/home/user/.bashrc deleted file mode 100644 index 786f06d..0000000 --- a/home/user/.bashrc +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | # ~/.bashrc | ||
| 2 | # Author: Mountain Man | ||
| 3 | |||
| 4 | # Test for an interactive shell. | ||
| 5 | if [[ $- != *i* ]] ; then | ||
| 6 | return | ||
| 7 | fi | ||