diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2020-11-16 13:08:56 +0000 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2020-11-16 13:08:56 +0000 |
| commit | 168b4de6767ca023fd888d8c39b14ecbd79fda22 (patch) | |
| tree | a266a4348b389618e7be263819ff1feb648d7d3e /bin | |
| parent | b53fa1aabb6c7ee20601b4a0a0035ca96543c1ee (diff) | |
[vim] Add plugin for julia
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/.local/bin/workspace | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/.local/bin/workspace b/bin/.local/bin/workspace index 36f09d4..2ac5690 100755 --- a/bin/.local/bin/workspace +++ b/bin/.local/bin/workspace @@ -1,13 +1,13 @@ #!/usr/bin/env bash -# List of workspaces: ( number, name, focused) +# List of workspaces: ( number, name, focused, display) workspaces=$(i3-msg -t get_workspaces | awk 'BEGIN { RS="(},{)|(\\[{)|(}\\])"; FPAT="([^,:\"]+)|([^,\"]+:[^,\"]+)|([^,]+{[^}]+})" } $0 !~ "^\\s*$" { gsub(/"/, "", $4) - print $4, $6, $10 + print $4, $6, $10, $13 }' | sort) act_on_container() { |