BASH Stuff

How to Enable Copy and Paste using GIT Bash

• Go to command prompt by typing 'command' in search window in order to get a command Prompt terminal
• Then click on the icon in the top left corner of the Command Prompt window and select Properties
• Then on the Options tab, Look for the Edit Options heading and make sure that QuickEdit Mode is selected
• Then click OK
• Then to cut and paste. if you highlight over text you want to copy it should go into copy buffer or you can type ctrl+Insert
• Then to paste, shift+insert or right click and select paste

For .bash_profile file in home directory

parse_git_branch() {

git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/ (\1)/'

}

export PS1="\w\[\033[33m\]\$(parse_git_branch)\[\033[00m\] $ "

[[ -r ~/.bashrc ]] && . ~/.bashrc

For .bashrc in home directory

# how to find the location of your Android sdk platform tools: bring up Android Studio: Tools->SDK Manager (then look at Android SDK Location). Note that adb is found in this directory, also. In the path below, replace the path with the one that corresponds to your installation. Yours should not include coda since that is my installation and is different from yours.

export PATH=$PATH:/Users/coda/Library/Android/sdk/platform-tools:/Users/coda/Downloads/tkdiff-4-3-5

alias gofirst="cd ~/Desktop/FIRST"

alias srcalias="source ~/.bashrc"

alias h=history

alias gitremote="git remote -v"

alias goterkel="cd ~/Desktop/FIRST/terkel/java/team25core"

alias go25="cd ~/Desktop/FIRST/FTC-Team-25"

alias go5218="cd ~/Desktop/FIRST/FTC-Team-5218"