소스 검색

Added a script to aid in workspace renames

Samuel W. Flint 8 년 전
부모
커밋
28f8569c1c
1개의 변경된 파일8개의 추가작업 그리고 0개의 파일을 삭제
  1. 8 0
      rename-workspace

+ 8 - 0
rename-workspace

@@ -0,0 +1,8 @@
+#!/bin/zsh -f
+
+if [[ $# -lt 2 ]] ; then
+    echo "rename-workspace old new"
+    exit
+fi
+
+i3-msg "rename workspace \"$1\" to \"$2\""