/usr/bin/wmanagerrc-update is in wmanager 0.2.1-11.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
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 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 | #!/bin/sh -e
# wmanagerrc-update -- update your wmanager settings automatically
# Copyright (C) 2000 Tommi Virtanen <tv@debian.org>
# Copyright (C) 2008, 2010 Peter Pentchev <roam@ringlet.net>
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
{
cat "$HOME/.wmanagerrc.user" 2>/dev/null || true
[ ! -x /usr/sbin/update-alternatives ] ||
/usr/sbin/update-alternatives --query x-window-manager \
|perl -ne '
m{^Alternative:\s+([/\w.+-]+)$} and $alt = $1;
m{^Priority:\s+(\d+)$} and push @{$p{$1}}, $alt;
END {
print map {"$_\000"}
map {sort @{$p{$_}}}
sort {$b<=>$a} keys %p}
' \
|xargs -0 chase \
|xargs dpkg -S \
|grep -v '^dpkg:' \
|sed 's/: /=/'
} \
|perl -e '
$ORDER = "$ENV{HOME}/.wmanagerrc.order";
if (-e $ORDER) {
@ARGV=($ORDER); $a=1;
while (<ARGV>) { $o{$_}=$a++ for split; }
}
print map {$_->[1]} sort {
if ($o{$a->[0]} and $o{$b->[0]}) {
return $o{$a->[0]}<=>$o{$b->[0]};
}
if ($o{$a->[0]}) {
return -1;
}
if ($o{$b->[0]}) {
return 1;
}
return 0;
} map {/^([^=]*)=/; [$1, $_]} <>;
' \
>>"$HOME/.wmanagerrc.tmp"
mv "$HOME/.wmanagerrc.tmp" "$HOME/.wmanagerrc"
|