|
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.
|