mirror of
https://github.com/pentoo/pentoo-overlay
synced 2025-12-25 17:53:24 +01:00
13 lines
498 B
Diff
13 lines
498 B
Diff
Index: src/bin/genmenu.py
|
|
===================================================================
|
|
--- src/bin/genmenu.py (revision 141)
|
|
+++ src/bin/genmenu.py (working copy)
|
|
@@ -190,7 +190,7 @@
|
|
de = desktopfile()
|
|
de.setName(name.capitalize())
|
|
de.setIcon(category + ".png")
|
|
- de.setExec("$P2TERM -e launch " + binname + " " + params)
|
|
+ de.setExec(options.p2term + " -e launch " + binname + " " + params)
|
|
return de
|
|
|
|
def make_menu_entry(root_menu, iconfile, category, params):
|