/** A utility to rename the current workspace * * This tool relies on i3-msg, jq, and dmenu to move a window to a * different workspace. In the future, maybe the display mechanism * (dmenu) could be made configurable, so not to rely on nazi code. */ { pkgs, ... }: with pkgs; writeShellScript "libkookie-i3-rename" '' exec i3-input -F 'rename workspace to %s' -P 'New name: ' ''