diff options
Diffstat (limited to 'bash/config.sh')
-rw-r--r-- | bash/config.sh | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/bash/config.sh b/bash/config.sh new file mode 100644 index 0000000..26ef085 --- /dev/null +++ b/bash/config.sh @@ -0,0 +1,32 @@ +#!/usr/bin/env bash + +# ~/.bashrc: executed by bash(1) for non-login shells. + +# derived from Ubuntu's default .bashrc + + +# If not running interactively, don't do anything +case $- in + *i*) ;; + *) return;; +esac + +# don't put duplicate linesin the history. # See bash(1) for more options +HISTCONTROL=ignoredups + +# append to the history file, don't overwrite it +shopt -s histappend + +# for setting history length see HISTSIZE and HISTFILESIZE in bash(1) +HISTSIZE=1000000 +HISTFILESIZE=2000000 + +# check the window size after each command and, if necessary, +# update the values of LINES and COLUMNS. +shopt -s checkwinsize + +# If set, the pattern "**" used in a pathname expansion context will +# match all files and zero or more directories and subdirectories. +isLinux && { + shopt -s globstar +} |