.bashrc / .profile

.bashrc

# Some environments (non-interactive ones like CDP, I think) use only .profile
# and not .bashrc

function hello() {
   echo "Hello, $1!"
}

function checktimes {
	echo "Checking recent start and end times, please wait..."
    powershell -Command "& { Invoke-Expression (Get-Content -Raw '//NDATA12/hawkem$/My Documents/WindowsPowerShell/checktimes.txt') }"
}

gitt() {
  # Where GH_USER is GitHub username and GH_TOKEN is unencoded ghp_... token
  if [ -z "$GH_USER" ] || [ -z "$GH_TOKEN" ]; then
    echo "GH_USER or GH_TOKEN not set" >&2
    return 1
  fi

  header=$(printf "%s" "$GH_USER:$GH_TOKEN" | base64 | tr -d '\n')
  git -c http.https://github.com/.extraheader="Authorization: Basic $header" "$@"
}