diff options
author | fluxgen <fluxgen> | 2004-03-16 17:34:58 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2004-03-16 17:34:58 (GMT) |
commit | 2f8964d3e47e3a41f9091640d7a1cdc0d464c762 (patch) | |
tree | 248d36e3fe91e21e8dcbb102a36a028c5538b9f6 | |
parent | ca9f4848835e22a4bd19ac78c6b8ace84e393ca5 (diff) | |
download | fluxbox-2f8964d3e47e3a41f9091640d7a1cdc0d464c762.zip fluxbox-2f8964d3e47e3a41f9091640d7a1cdc0d464c762.tar.bz2 |
patch from Han
-rwxr-xr-x | util/fluxbox-generate_menu.in | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/util/fluxbox-generate_menu.in b/util/fluxbox-generate_menu.in index 0c6523b..312d68a 100755 --- a/util/fluxbox-generate_menu.in +++ b/util/fluxbox-generate_menu.in | |||
@@ -22,7 +22,7 @@ | |||
22 | # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 22 | # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
23 | # DEALINGS IN THE SOFTWARE. | 23 | # DEALINGS IN THE SOFTWARE. |
24 | # | 24 | # |
25 | # $Id: fluxbox-generate_menu.in,v 1.15 2004/03/03 07:43:38 fluxgen Exp $ | 25 | # $Id: fluxbox-generate_menu.in,v 1.16 2004/03/16 17:34:58 fluxgen Exp $ |
26 | 26 | ||
27 | # | 27 | # |
28 | # Portability notes: | 28 | # Portability notes: |
@@ -1289,21 +1289,23 @@ if [ ! "${REMOVE}" ]; then | |||
1289 | fi | 1289 | fi |
1290 | 1290 | ||
1291 | # Signal all running fluxbox'es to reload their menu. | 1291 | # Signal all running fluxbox'es to reload their menu. |
1292 | case `uname` in | 1292 | if [ ! "${INSTALL}" = Yes ]; then |
1293 | *BSD|Linux) | 1293 | case `uname` in |
1294 | for i in `ps xco pid,command|awk '/fluxbox$/ {print $1}'`; do | 1294 | *BSD|Linux) |
1295 | kill -s USR2 $i 2>&1 >/dev/null | 1295 | for i in `ps xco pid,command|awk '/fluxbox$/ {print $1}'`; do |
1296 | done | 1296 | kill -s USR2 $i 2>&1 >/dev/null |
1297 | ;; | 1297 | done |
1298 | SunOS) | 1298 | ;; |
1299 | for i in `ps -eco pid,comm|awk '/fluxbox$/ {print $1}'`; do | 1299 | SunOS) |
1300 | kill -s USR2 $i 2>&1 >/dev/null | 1300 | for i in `ps -eco pid,comm|awk '/fluxbox$/ {print $1}'`; do |
1301 | done | 1301 | kill -s USR2 $i 2>&1 >/dev/null |
1302 | ;; | 1302 | done |
1303 | *) | 1303 | ;; |
1304 | echo 'You have to reload the settings manually.' | 1304 | *) |
1305 | ;; | 1305 | echo 'You have to reload the settings manually.' |
1306 | esac | 1306 | ;; |
1307 | esac | ||
1308 | fi | ||
1307 | 1309 | ||
1308 | echo 'Menu successfully generated.' | 1310 | echo 'Menu successfully generated.' |
1309 | echo 'Use fluxbox-generate_menu -h to read about all the latest features.' | 1311 | echo 'Use fluxbox-generate_menu -h to read about all the latest features.' |