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
31
32
33
34
|
Source: wmanager
Section: x11
Priority: optional
Maintainer: Peter Pentchev <roam@debian.org>
Standards-Version: 4.7.0
Build-Depends:
cnee <!nocheck>,
debhelper (>> 13.15.2~),
dh-package-notes,
dh-sequence-single-binary,
dpkg-build-api (= 1),
libfltk1.3-dev,
python3 <!nocheck>,
x11-utils <!nocheck>,
xauth <!nocheck>,
xvfb <!nocheck>,
X-DH-Compat: 14
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
X-Style: black
Package: wmanager
Architecture: any
Multi-Arch: foreign
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.
|
