From: <dom...@us...> - 2020-04-12 11:16:12
|
Revision: 1035 http://sourceforge.net/p/fvwm-crystal/code/1035 Author: dominique_libre Date: 2020-04-12 11:16:11 +0000 (Sun, 12 Apr 2020) Log Message: ----------- app menu generation: fix for date of desktop file older than their installation Modified Paths: -------------- ChangeLog NEWS fvwm/scripts/CheckMenuDate Modified: ChangeLog =================================================================== --- ChangeLog 2020-04-12 10:40:32 UTC (rev 1034) +++ ChangeLog 2020-04-12 11:16:11 UTC (rev 1035) @@ -11,6 +11,8 @@ + fvwm/icons/...: Add icons for xpenguins and xsnow + fvwm/Applications/...: Add some applications. fvwm/functions/components/About: 3.6.4 + fvwm/scripts/CheckMenuDate: fix for when new dessktop file date is older + than their installation date. vendreedi 10 avril 2020 + fvwm/scripts/SetGtkFont; Modified: NEWS =================================================================== --- NEWS 2020-04-12 10:40:32 UTC (rev 1034) +++ NEWS 2020-04-12 11:16:11 UTC (rev 1035) @@ -16,6 +16,10 @@ - Added icon styles for the Brave browser. +- Automatic generation of the application menu: Fix for when + the date of newly installed desktop files is older that + their installation date. + That's all! Dominique Michel Modified: fvwm/scripts/CheckMenuDate =================================================================== --- fvwm/scripts/CheckMenuDate 2020-04-12 10:40:32 UTC (rev 1034) +++ fvwm/scripts/CheckMenuDate 2020-04-12 11:16:11 UTC (rev 1035) @@ -1,7 +1,7 @@ #!/bin/bash # Check for new desktop files and generate the menu if yes. -DesktopDir=`awk -v ORS="" '!/(#|^$)/{print $0"/* "}' ${FVWM_USERDIR}/preferences/DesktopDirs` +DesktopDir=`awk -v ORS="" '!/(#|^$)/{print $0" "}' ${FVWM_USERDIR}/preferences/DesktopDirs` #echo "$DesktopDir" #echo "DateLastApp=$DateLastApp" This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |