#!/bin/sh
     #
     # Sustituye "su-to-root -X -c" predeterminado de Debian por "gksudo"
     # Equipo GALPon MiniNo, Copiright CC: by-sa
     
     MENU=$HOME/.icewm/menus
     FLIP=/tmp/flip-minino
     
     for ENTRADA in $MENU/*
        do
	cp $ENTRADA $FLIP
        cat $FLIP | sed 's/su-to-root -X -c/gksudo/g' > $ENTRADA
        done