diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2023-10-31 18:55:07 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2023-10-31 18:55:07 +0100 |
| commit | 2fcba54d2c9c6f4044d63de989260f964b320d8f (patch) | |
| tree | 4f28b2cfbd19d169652d6b3f88aa5399b7844ffe | |
| parent | db1d9e6af6144c59c83ec00df905ae9f2fd009c4 (diff) | |
bash: Remove useless comment
| -rw-r--r-- | .bashrc | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,5 +1,3 @@ -#set -o vi - # If not running interactively, don't do anything [[ $- != *i* ]] && return [[ -f /etc/bashrc ]] && . /etc/bashrc |