Add fish configuration.
This commit is contained in:
		
							
								
								
									
										35
									
								
								fish/config.fish
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										35
									
								
								fish/config.fish
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,35 @@
 | 
			
		||||
# Fish configuration file
 | 
			
		||||
 | 
			
		||||
alias ls='ls --color=auto'
 | 
			
		||||
alias ll='ls -l'
 | 
			
		||||
alias la='ls -A'
 | 
			
		||||
alias l='ls -CF'
 | 
			
		||||
 | 
			
		||||
alias rm='rm -i --preserve-root'
 | 
			
		||||
alias gcc='gcc-5'
 | 
			
		||||
alias g++='g++-5'
 | 
			
		||||
alias python='python3'
 | 
			
		||||
 | 
			
		||||
alias json='python -m json.tool'
 | 
			
		||||
 | 
			
		||||
set GUROBI_PATH $HOME/.softwares/gurobi651/linux64
 | 
			
		||||
 | 
			
		||||
set -x LD_LIBRARY_PATH $LD_LIBRARY_PATH /usr/local/lib $GUROBI_PATH/lib
 | 
			
		||||
set -x PATH ~/.softwares/bin $PATH $GUROBI_PATH/bin
 | 
			
		||||
 | 
			
		||||
set PYTHONPATH $PYTHONPATH $HOME/Dev/python/libs /local/lib/python3.4
 | 
			
		||||
set -x PYTHONPATH $PYTHONPATH /usr/local/lib/python3.4 $GUROBI_PATH/lib/python3.4_utf32
 | 
			
		||||
 | 
			
		||||
set -x DATA_FOLDER /net/cetus/data/ogsn
 | 
			
		||||
set -x ACCESS_FOLDER {$DATA_FOLDER}/access
 | 
			
		||||
set -x DATASETS_FOLDER {$DATA_FOLDER}/datasets
 | 
			
		||||
set -x INSTANCES_FOLDER {$DATA_FOLDER}/instances
 | 
			
		||||
set -x RESULTS_FOLDER {$DATA_FOLDER}/results
 | 
			
		||||
 | 
			
		||||
set -x GRB_LICENSE_FILE $GUROBI_PATH/gurobi.lic
 | 
			
		||||
 | 
			
		||||
umask 022
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
set -x LC_ALL en_US.utf8
 | 
			
		||||
set -x TERM xterm-256color
 | 
			
		||||
							
								
								
									
										2
									
								
								fish/functions/fish_greeting.fish
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										2
									
								
								fish/functions/fish_greeting.fish
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,2 @@
 | 
			
		||||
function fish_greeting
 | 
			
		||||
end
 | 
			
		||||
							
								
								
									
										78
									
								
								fish/functions/fish_prompt.fish
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										78
									
								
								fish/functions/fish_prompt.fish
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,78 @@
 | 
			
		||||
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
 | 
			
		||||
		Reference in New Issue
	
	Block a user