mirrors/wmii
1
0
Fork 0
mirror of https://github.com/0intro/wmii synced 2024-11-22 13:52:17 +03:00
Code Issues Packages Projects Releases Wiki Activity

Minor change to retagging with wmiimenu to prevent a race reported by DenisG

Browse Source
This commit is contained in:
Kris Maglione 2006-06-06 23:44:12 -04:00
parent f1a8ea8429
commit 865ac2aef1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rc/wmiirc
View File

@ -175,7 +175,7 @@ do
$MODKEY-Shift-c)
xwrite /tag/sel/sel/sel/ctl kill;;
$MODKEY-Shift-t)
xwrite /tag/sel/sel/sel/tags "`wmiir ls /tag | sed 's,/,,; /^sel$/d' | wmiimenu`" &;;
xwrite /client/`wmiir read /tag/sel/sel/sel/index`/tags "`wmiir ls /tag | sed 's,/,,; /^sel$/d' | wmiimenu`" &;;
$MODKEY-Shift-[0-9])
xwrite /tag/sel/sel/sel/tags `echo $1 | sed 's/.*-//'`;;
esac;;