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