35 lines
1.1 KiB
Bash
Executable File
35 lines
1.1 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
export ERLBIN="/d/Programs/erl6.0/erts-6.0/bin"
|
|
if [ -d "$ERLBIN" ]; then
|
|
PATH=${ERLBIN}:${PATH}
|
|
fi
|
|
|
|
|
|
if [ -d "${HOME}/tools/plugins" ] ; then
|
|
PATH=${HOME}/tools/plugins:${PATH}
|
|
fi
|
|
|
|
# see environ manfile
|
|
export EDITOR=vim # Default Editor
|
|
export VISUAL=$EDITOR # Visual not really used differently from EDITOR anymore
|
|
export LESS='-iMR' # Case insensite search, verbose prompting and raw output
|
|
export PAGER=less # Used to display text / man files
|
|
export PORT=3001
|
|
|
|
#
|
|
# History
|
|
#
|
|
HISTCONTROL=ignoredups # No duplicate commands in history
|
|
HISTSIZE=50000 # For a huge history
|
|
export HISTIGNORE="[ ]*:&:bg:fg:exit:clear" # Don't save these commands in the history
|
|
shopt -s histappend # Append to the history file, not overwrite
|
|
|
|
#
|
|
# Bash behavior
|
|
#
|
|
shopt -s checkwinsize # Checks window size to get proper line wrapping
|
|
shopt -s cdspell # Corrects minor spelling errors when cd-ing
|
|
set -o vi # Set prompt to vi mode
|
|
set -o notify # Report status of terminated background jobs immediately
|