Bash script to switch between Agda libraries

gistfile1.txt

#!/bin/sh

STD_LIB=/usr/local/lib/agda/src/
IAL_LIB=/Users/carlson/dev/agda/ial/

case $1 in

     show) cat ~/.agda/defaults
           ;;

     std) echo "standard-library\n" > ~/.agda/defaults ;;

     ial) echo "ial\n" > ~/.agda/defaults ;;

     path:std) echo ${STD_LIB} ;;

     path:ial) echo ${IAL_LIB} ;;
	  
     ls:std) ls ${STD_LIB} ;;

     ls:ial) ls ${IAL_LIB} ;;

     *) echo "\n  arguments: std, ial, path:std, path:ial,\n             ls:std, ls:ial, show\n\n  Example: setadga std (set Agda library to the standard one)\n"
	 ;;

esac