Differences

This shows you the differences between two versions of the page.

--- bash_tips [2025/03/20 18:07] – created juckins
+++ bash_tips [2025/03/20 18:14] (current) – juckins
@@ Line 3: / Line 3: @@
 [[https://www.joshstaiger.org/archives/2005/07/bash_profile_vs.html|Tips for using .bashrc vs .bash_profile ]]
-http://www.joshstaiger.org/archives/2005/07/bash_profile_vs.html
+.bashrc root updates (Rocky Linux 9 version):
-.bashrc root updates:
 <code>
@@ Line 19: / Line 17: @@
 alias ssh='ssh -Y'
 alias vi='vim'
+alias space='df -hP |grep -v tmpfs|grep -v efivarfs'
+alias kernels='rpm -qa |grep kernel | sort'
 # no funny characters in man pages
 #export LC_ALL="en_US"
+# Use 24-hour clock with 'date' command
+export LC_TIME="en_GB.UTF-8"
 # Combine history
 export HISTSIZE=10000
 export HISTCONTROL=ignoredups
+export HISTTIMEFORMAT="%F %T "
 shopt -s histappend
 </code>