From: <dom...@us...> - 2020-09-17 01:33:43
|
Revision: 1040 http://sourceforge.net/p/fvwm-crystal/code/1040 Author: dominique_libre Date: 2020-09-17 01:33:41 +0000 (Thu, 17 Sep 2020) Log Message: ----------- Desktop manager: fix pmount menu Modified Paths: -------------- ChangeLog fvwm/scripts/desktop_manager Modified: ChangeLog =================================================================== --- ChangeLog 2020-07-28 20:04:43 UTC (rev 1039) +++ ChangeLog 2020-09-17 01:33:41 UTC (rev 1040) @@ -1,5 +1,8 @@ ChangeLog for FVWM-Crystal +mardi 25 août 2020 + fvwm/scripts/desktop_mamager: Fix pmount menu. + Version 3.6.6 ------------- Modified: fvwm/scripts/desktop_manager =================================================================== --- fvwm/scripts/desktop_manager 2020-07-28 20:04:43 UTC (rev 1039) +++ fvwm/scripts/desktop_manager 2020-09-17 01:33:41 UTC (rev 1040) @@ -50,9 +50,9 @@ # Preference menu echo "DestroyMenu /Preferences/IconLauncher" >> "${deskmanfile}" echo "AddToMenu /Preferences/IconLauncher" >> "${deskmanfile}" -if [ -f pmount-gui ] - then echo "+ PMount \"Exec exec pmount-gui\"" >> "${deskmanfile}" - echo "+ PUMount \"Exec exec pmount-gui -u\"" >> "${deskmanfile}"; fi +if [ -f pmount-gui ] || [ -f /usr/bin/pmount-gui ] || [ -f /usr/local/bin/pmount-gui ] + then echo "+ \"PMount\" Exec exec pmount-gui" >> "${deskmanfile}" + echo "+ \"PUMount\" Exec exec pmount-gui -u" >> "${deskmanfile}"; fi if [[ "${ShowPartitions}" == "yes" ]] then cat /etc/fstab|grep user|grep -v \#| awk '{print $2}'|while read line do partition=${line} This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |