[fish] Start configuration for OMF.

This commit is contained in:
Mikaël Capelle 2019-12-24 15:23:20 +01:00
parent 9ac01212b3
commit 9e44f18d11
2 changed files with 31 additions and 101 deletions

View File

@ -6,54 +6,62 @@ set -x LC_ALL en_US.UTF-8
set -x PYTHONIOENCODING UTF-8
if test (uname) != "Darwin"
set -x TERM xterm-256color
set -x TERM xterm-256color
end
set -g theme_newline_cursor yes
set -g theme_color_scheme zenburn
set -g VIRTUAL_ENV_DISABLE_PROMPT 1
set -xg WORKON_HOME /opt/envs
set -xg MYPYPATH $HOME/.mypy
# Aliases
if test (uname) != "Darwin"
alias ls='ls --color=auto'
alias ll='ls -l'
alias la='ls -A'
alias l='ls -CF'
alias ls='ls --color=auto'
alias ll='ls -l'
alias la='ls -A'
alias l='ls -CF'
alias rm='rm -i --preserve-root'
alias rm='rm -i --preserve-root'
else
alias rm='rm -i'
alias rm='rm -i'
end
if test (uname) = "Darwin"
set -xg PATH /usr/local/bin /usr/local/sbin $PATH
set -xg PATH /Library/Frameworks/Python.framework/Versions/3.5/bin $PATH
set -xg PATH $PATH /Users/mcapelle/Applications/GNAT/bin
set -xg PATH /usr/local/bin /usr/local/sbin $PATH
set -xg PATH /Library/Frameworks/Python.framework/Versions/3.5/bin $PATH
set -xg PATH $PATH /Users/mcapelle/Applications/GNAT/bin
end
if test -e {$HOME}/Dev/python/libs
set -xg PYTHONPATH "$HOME/Dev/python/libs:$PYTHONPATH"
set -xg PYTHONPATH "$HOME/Dev/python/libs:$PYTHONPATH"
end
if test -e /usr/local/bin
set -xg PATH $PATH /usr/local/bin
end
set -xg WORKON_HOME $HOME/envs
set -xg PATH $PATH /opt/ibm/ILOG/CPLEX_Studio128/cpoptimizer/bin/x86-64_linux/
set -xg PATH $PATH /opt/texlive/2019/bin/x86_64-linux/
if test -z "$MYSOFT_PATH"
set -xg MYSOFT_PATH {$HOME}/.softwares
set -xg MYSOFT_PATH {$HOME}/.softwares
if test -e $MYSOFT_PATH
set -xg PATH $PATH $MYSOFT_PATH/bin
if test -e $MYSOFT_PATH
set -xg PATH $PATH $MYSOFT_PATH/bin
# GUROBI
if ls $MYSOFT_PATH | grep "gurobi" > /dev/null
set -xg GUROBI_PATH (ls -d $MYSOFT_PATH/gurobi*/linux64 | tail -1)
set -xg LD_LIBRARY_PATH "$LD_LIBRARY_PATH:$GUROBI_PATH/lib"
set -xg GRB_LICENSE_FILE $GUROBI_PATH/gurobi.lic
set -xg PATH $GUROBI_PATH/bin $PATH
#set -x PYTHONPATH $GUROBI_PATH/lib/python3.4_utf32:$PYTHONPATH
end
# GUROBI
if ls $MYSOFT_PATH | grep "gurobi" > /dev/null
set -xg GUROBI_PATH (ls -d $MYSOFT_PATH/gurobi*/linux64 | tail -1)
set -xg LD_LIBRARY_PATH "$LD_LIBRARY_PATH:$GUROBI_PATH/lib"
set -xg GRB_LICENSE_FILE $GUROBI_PATH/gurobi.lic
set -xg PATH $GUROBI_PATH/bin $PATH
#set -x PYTHONPATH $GUROBI_PATH/lib/python3.4_utf32:$PYTHONPATH
end
end
end

View File

@ -1,78 +0,0 @@
function fish_prompt --description 'Write out the prompt'
set -l last_status $status
# Just calculate these once, to save a few cycles when displaying the prompt
if not set -q __fish_prompt_hostname
set -g __fish_prompt_hostname (hostname|cut -d . -f 1)
end
if not set -q __fish_prompt_normal
set -g __fish_prompt_normal (set_color normal)
end
if not set -q -g __fish_classic_git_functions_defined
set -g __fish_classic_git_functions_defined
function __fish_repaint_user --on-variable fish_color_user --description "Event handler, repaint when fish_color_user changes"
if status --is-interactive
set -e __fish_prompt_user
commandline -f repaint ^/dev/null
end
end
function __fish_repaint_host --on-variable fish_color_host --description "Event handler, repaint when fish_color_host changes"
if status --is-interactive
set -e __fish_prompt_host
commandline -f repaint ^/dev/null
end
end
function __fish_repaint_status --on-variable fish_color_status --description "Event handler; repaint when fish_color_status changes"
if status --is-interactive
set -e __fish_prompt_status
commandline -f repaint ^/dev/null
end
end
end
set -l delim '>'
switch $USER
case root
if not set -q __fish_prompt_cwd
if set -q fish_color_cwd_root
set -g __fish_prompt_cwd (set_color $fish_color_cwd_root)
else
set -g __fish_prompt_cwd (set_color $fish_color_cwd)
end
end
case '*'
if not set -q __fish_prompt_cwd
set -g __fish_prompt_cwd (set_color $fish_color_cwd)
end
end
set -l prompt_status
if test $last_status -ne 0
if not set -q __fish_prompt_status
set -g __fish_prompt_status (set_color $fish_color_status)
end
set prompt_status "$__fish_prompt_status [$last_status]$__fish_prompt_normal"
end
if not set -q __fish_prompt_user
set -g __fish_prompt_user (set_color $fish_color_user)
end
if not set -q __fish_prompt_host
set -g __fish_prompt_host (set_color $fish_color_host)
end
echo -n -s "$__fish_prompt_user" "$USER" "$__fish_prompt_normal" "$__fish_prompt_host" @ "$__fish_prompt_hostname" "$__fish_prompt_normal" ' ' "$__fish_prompt_cwd" (prompt_pwd) (__fish_git_prompt) "$__fish_prompt_normal" "$prompt_status" "$delim" ' '
end