Tag: bash

  • My .bash_profile

    Don’t know why I never added it here, so doing it now. alias ll=”ls -al” alias src=”cd ~/workspace/” alias ap=”cd ~/workspace/git/antonperez/” alias readyapi=”/Applications/ReadyAPI-2.5.0.app/Contents/java/app/bin/ready-api.sh” performGitOperations() { git fetch –all git checkout $1 git reset –hard origin/$1 git clean -fd } copom() { echo “[———- START ———-]” if [ “$2” = “all” ]; then echo “–>> blwebdriver…

  • Bash script to check health checks of multiple servers

    I had to check over 20 servers to verify they were updated with a new build. The servers had a health check page that had this information along with whether the server was up-and-running. I wrote this quick-and-dirty bash script to do just that.  for i in jetson1 jetson4; do for j in {1..10}; do…

  • My custom bash prompt

    I wanted more information in my bash prompt, such as date/time and the directory I was in.  Here’s what it looks like: And this is what I added in my ~/.bash_profile: PS1=’${debian_chroot:+($debian_chroot)}\d \T > \[$(tput sgr0)\]\[\033[01;32m\]\u@\h\[\033[00m\] : \[\033[01;34m\]\w\[\033[00m\]\n\$ ‘ Run source ~/.bash_profile and enjoy. 🙂 BTW, there’s also a website that you can use to…