Skip to content
Permalink
master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
 
 
Cannot retrieve contributors at this time
function parse_git_dirty {
[[ $(git status 2> /dev/null | tail -n1) != "nothing to commit, working tree clean" ]] && echo "*"
}
function parse_git_branch {
git branch 2> /dev/null | sed -e '/^[^*]/d' -e "s/* \(.*\)/[\1$(parse_git_dirty)]/"
}
#export PS1='\[\e[1;34m\]\u@\h\w\[\e[1;33m\]$(parse_git_branch)$'
function explorer(){
if [[ $@ == '' ]]; then
explorer.exe "$(winpath ./)"
return
fi
explorer.exe "$(winpath $@)"
}
export EDITOR=vim
width=20
#alias ls="ls --color=auto --sort=time"
alias ls="ls --color=auto"
alias la="ls -A --color=auto"
alias p3="python3"
export PATH=$PATH:/home/pbrumm/.local/lib/python3.6/site-packages/bionetgen/bng-linux/:/home/pbrumm/.local/lib/python3.6/site-packages/bionetgen/bng-linux/bin/