X-Git-Url: https://git.decadent.org.uk/gitweb/?a=blobdiff_plain;f=debian%2Fpatches%2F211_add-debian-menu.diff;h=277601c98593a71bc6eb6215068f39f16dc5df1f;hb=2948134dc6273f6d3ea089c4cc273b69e2f8d51e;hp=2f87b750f181f26287dbb4e1bbd285ac0efd4371;hpb=4caa969e86b611255dddf085563d32e5e0e8f323;p=ion3.git diff --git a/debian/patches/211_add-debian-menu.diff b/debian/patches/211_add-debian-menu.diff index 2f87b75..277601c 100644 --- a/debian/patches/211_add-debian-menu.diff +++ b/debian/patches/211_add-debian-menu.diff @@ -1,6 +1,6 @@ --- ion3.orig/etc/cfg_ioncore.lua +++ ion3/etc/cfg_ioncore.lua -@@ -336,6 +336,7 @@ +@@ -335,6 +335,7 @@ menuentry("Help", "mod_query.query_man(_)"), menuentry("About Ion", "mod_query.show_about_ion(_)"), submenu("Styles", "stylemenu"), @@ -8,13 +8,13 @@ submenu("Session", "sessionmenu"), }) -@@ -381,3 +381,12 @@ +@@ -380,3 +381,12 @@ defctxmenu("WClientWin", "Client window", { menuentry("Kill", "WClientWin.kill(_)"), }) + +-- Auto-generated Debian menu definitions -+if os.execute("test -x /usr/bin/update-menus") == 0 then ++if os and os.execute("test -x /usr/bin/update-menus") == 0 then + if ioncore.is_i18n() then + dopath("debian-menu-i18n") + else