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
27
28
29
30
|
Source: wmanager
Section: x11
Priority: optional
Maintainer: Peter Pentchev <roam@debian.org>
Standards-Version: 4.5.0
Build-Depends:
debhelper-compat (= 13),
cnee,
libfltk1.3-dev,
python3,
x11-utils,
xauth,
xvfb,
Homepage: https://devel.ringlet.net/x11/wmanager/
Vcs-Git: https://gitlab.com/wmanager/wmanager.git -b debian/master
Vcs-Browser: https://gitlab.com/wmanager/wmanager/tree/debian/master
Rules-Requires-Root: no
Package: wmanager
Architecture: any
Multi-Arch: foreign
Depends: ${misc:Depends}, ${perl:Depends}, ${shlibs:Depends}
Suggests: menu
Description: window-manager selection tool used at X startup
wmanager is a small X11 application for selecting a window manager
at X startup. wmanager looks for a file named '.wmmanagerrc' in
the user's home directory which contains a list of window managers;
you can create such a file with wmanagerrc-update. You can also use
wmanager-loop that runs window managers chosen by the user until
told to exit.
|
