diff options
-rw-r--r-- | dotfiles/.bashrc | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/dotfiles/.bashrc b/dotfiles/.bashrc deleted file mode 100644 index 363f061..0000000 --- a/dotfiles/.bashrc +++ /dev/null @@ -1,53 +0,0 @@ -# -*- shell-script -*- -# Bash initialization for interactive non-login shells and -# for remote shells (info "(bash) Bash Startup Files"). - -# Export 'SHELL' to child processes. Programs such as 'screen' -# honor it and otherwise use /bin/sh. -export SHELL - -if [ -n "$SSH_CLIENT" -a -z "`type -P cat`" ] -then - # We are being invoked from a non-interactive SSH session - # (as in "ssh host command") but 'cat' cannot be found - # in $PATH. Source /etc/profile so we get $PATH and other - # essential variables. - source /etc/profile -fi - -# Append to the history file, don't overwrite it -shopt -s histappend - -# For setting history length see HISTSIZE and HISTFILESIZE in bash(1) -HISTSIZE=1000 -HISTFILESIZE=2000 - -# Don't put duplicate lines or lines starting with space in the history. -HISTCONTROL=ignoreboth - -# Check the window size after each command and, if necessary, -# update the values of LINES and COLUMNS. -shopt -s checkwinsize - -# The pattern "**" used in a pathname expansion context will match all -# files and zero or more directories and subdirectories. -shopt -s globstar - -# Add special decoration when we are in a Guix environment sub-shell. -if [ -n "$GUIX_ENVIRONMENT" ] -then - export PS1="\u@\h \w [env]\$ " -else - export PS1='\u@\h \w\$ ' -fi - -# Add special decoration when we are in an Okta AWS sub-shell. -if [ -n "$OKTA_AWS_ROLE" ] -then - export PS1="\u@\h \w [$OKTA_AWS_ROLE]\$ " -else - export PS1='\u@\h \w\$ ' -fi - -alias ls='ls -p --color' -alias ll='ls -l' |