Skip to content

Instantly share code, notes, and snippets.

@mledoze
Created September 13, 2019 08:02
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mledoze/cd7043da22927b8ec41969266d53bd8d to your computer and use it in GitHub Desktop.
Save mledoze/cd7043da22927b8ec41969266d53bd8d to your computer and use it in GitHub Desktop.
# ~/.bashrc: executed by bash(1) for non-login shells.
# If not running interactively, don't do anything
[ -z "$PS1" ] && return
# Add `~/bin` to the `$PATH`
export PATH="$PATH:$HOME/bin"
export TERM='xterm-256color'
# select vi as default editor
export EDITOR=vi
# set HTTP and HTTPS proxies
#export http_proxy='...'
#export https_proxy='...'
#export no_proxy=...
# Load the shell dotfiles
for file in ~/.{path,bash_aliases}; do
[ -r "$file" ] && [ -f "$file" ] && source "$file";
done;
unset file;
# configure history
HISTCONTROL=ignoreboth:erasedups
HISTTIMEFORMAT="%y/%m/%d %T "
# append to the history file, don't overwrite it
shopt -s histappend
# check the window size after each command and, if necessary,
# update the values of LINES and COLUMNS.
shopt -s checkwinsize
# Autocorrect typos in path names when using `cd`
shopt -s cdspell;
# Case-insensitive globbing (used in pathname expansion)
shopt -s nocaseglob;
# make less more friendly for non-text input files, see lesspipe(1)
#[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"
# set variable identifying the chroot you work in (used in the prompt below)
if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then
debian_chroot=$(cat /etc/debian_chroot)
fi
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\A \u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
# If this is an xterm set the title to user@host:dir
case "$TERM" in
xterm*|rxvt*)
PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
;;
*)
;;
esac
# Enable bash completions
if [ -f /etc/bash_completion ]; then
. /etc/bash_completion
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment