Re: How to kill all the windows on a desktop?
Bernd Eggink <[email protected]>
| Newsgroups | gmane.comp.window-managers.icewm.user |
|---|---|
| Message-ID | <[email protected]> |
Am 12.07.2010 16:11, schrieb Bernd Eggink:
> Sorry, I forgot to attach the script. Here it is.
I just noticed that the command "kill $(desktop-pids)" may kill itself
before it has killed all other processes. Use this auxiliary script instead:
-------------------------------------------
#!/bin/bash
for pid in $(desktop-pids)
do
[[ $pid != $$ ]] && kill $pid
done
-------------------------------------------
Bernd
--
Bernd Eggink
http://sudrala.de
------------------------------------------------------------------------------
This SF.net email is sponsored by Sprint
What will you do first with EVO, the first 4G phone?
Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first