all repos — fluxbox @ 03d9fec7f4435395895165b2e1700186317430a5

custom fork of the fluxbox windowmanager

removes the reload-menu code which is obsolete since Mathias's latest patch, patch from Han
fluxgen fluxgen
commit

03d9fec7f4435395895165b2e1700186317430a5

parent

023f1a095370003092bd0a08bbfe78a3e8a485be

1 files changed, 1 insertions(+), 20 deletions(-)

jump to
M util/fluxbox-generate_menu.inutil/fluxbox-generate_menu.in

@@ -22,7 +22,7 @@ # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

# FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER # DEALINGS IN THE SOFTWARE. # -# $Id: fluxbox-generate_menu.in,v 1.16 2004/03/16 17:34:58 fluxgen Exp $ +# $Id: fluxbox-generate_menu.in,v 1.17 2004/03/19 09:37:23 fluxgen Exp $ # # Portability notes:

@@ -1286,25 +1286,6 @@ # empty submenus :\

if [ ! "${REMOVE}" ]; then clean_up -fi - -# Signal all running fluxbox'es to reload their menu. -if [ ! "${INSTALL}" = Yes ]; then - case `uname` in - *BSD|Linux) - for i in `ps xco pid,command|awk '/fluxbox$/ {print $1}'`; do - kill -s USR2 $i 2>&1 >/dev/null - done - ;; - SunOS) - for i in `ps -eco pid,comm|awk '/fluxbox$/ {print $1}'`; do - kill -s USR2 $i 2>&1 >/dev/null - done - ;; - *) - echo 'You have to reload the settings manually.' - ;; - esac fi echo 'Menu successfully generated.'