File: menu-method

package info (click to toggle)
wmanager 0.2.2-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 204 kB
  • sloc: cpp: 520; perl: 124; makefile: 99; sh: 83
file content (26 lines) | stat: -rw-r--r-- 556 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#!/usr/bin/install-menu
#
# Generate /etc/X11/wmanagerrc, a list of window managers.
#

compat="menu-1"

!include menu.h

supported
  wm=title() "=" $command "\n"
endsupported

startmenu=""
endmenu=""
preoutput=""

genmenu="wmanagerrc"
rootprefix="/etc/X11"

# This creates ~/.wmanager/wmanagerrc when run by a user.  It seems
# like a bad idea to overwrite a user's actual ~/.wmanagerrc file, in
# case that was created by hand or something.  Users who know what
# they're doing with private update-menus can symlink if desired.
#
userprefix="/.wmanager"