rename-workspace 132 B

12345678
  1. #!/bin/zsh -f
  2. if [[ $# -lt 2 ]] ; then
  3. echo "rename-workspace old new"
  4. exit
  5. fi
  6. i3-msg "rename workspace \"$1\" to \"$2\""