diff .bashrc @ 0:bb5f1ea6cc5e

getting started
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 18 Jul 2022 18:50:26 +0100
parents
children 763bf32dfb26
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.bashrc	Mon Jul 18 18:50:26 2022 +0100
@@ -0,0 +1,52 @@
+# .bashrc
+
+# Uncomment the following line if you don't like systemctl's auto-paging feature:
+# export SYSTEMD_PAGER=
+
+# Login for singularity
+# Source global definitions
+
+if [ -f /etc/bashrc ]; then
+  # This is protected against running twice...
+  . /etc/bashrc
+fi
+
+
+savehist () 
+{ 
+    hc=$(history 1 | tr -d '\n' | cut -d ' ' -f 2);
+    if [ $((hc % ${HIST_FREQ-10})) = 0 ]; then
+        history -a;
+    fi
+}
+
+prompt ()
+{
+    savehist
+    echo -ne '\033]0;'${HOSTNAME/-login/} ${PWD/$HOME/w\~}'\007'
+}
+
+if [ "$PS1" ]; then
+  echo "Singularity bash" 1>&2
+  # don't put duplicate lines or lines starting with space in the history.
+  # See bash(1) for more options
+  export HISTCONTROL=ignoreboth
+
+  # append to the history file, don't overwrite it
+  shopt -s histappend
+
+  # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
+  export HISTSIZE=3000
+  export HISTFILESIZE=6000
+  export HISTIGNORE='[ ]*:&:[fb]g:exit'
+fi
+
+#export PYTHONPATH=$HOME/lib/python3.6/site-packages
+
+EDITOR=emacs
+
+PATH=$PATH:$HOME/.local/bin:$HOME/bin
+
+HHOME=/home/dc007/dc007/$(whoami)
+
+export PATH EDITOR HHOME