bash: update

2023-01-14 15:00:06 +02:00
parent 570d058394
commit 6859e4ed76
2 changed files with 21 additions and 8 deletions
--- a/bash/.bash_profile
+++ b/bash/.bash_profile
@@ -1 +1 @@
-if [ -s ~/.bashrc ]; then . ~/.bashrc; fi
+if [ -f ~/.bashrc ]; then . ~/.bashrc; fi