diff options
author | Eric Hameleers <alien@slackware.com> | 2015-02-16 21:19:53 +0100 |
---|---|---|
committer | Eric Hameleers <alien@slackware.com> | 2015-02-16 21:19:53 +0100 |
commit | d594a1771148862d9baedd18f56e8611b519355f (patch) | |
tree | 1e1aeb04a7ca38ff15ce7c1995b39bf14aec7f56 /kde/doinst.sh | |
parent | 745b2101bdd138708e9e93c50d8f8b142d22ba56 (diff) | |
download | ktown-d594a1771148862d9baedd18f56e8611b519355f.tar.gz ktown-d594a1771148862d9baedd18f56e8611b519355f.tar.xz |
kde-workspace: stripped so that it can co-exist with plasma-workspace
Plasma 5 still needs this package, for kget and because kdeartwork fails
to compile if kde-workspace is absent.
The stripped package contains the bare minimum and none of its files
are found in plasma-desktop.
Diffstat (limited to 'kde/doinst.sh')
-rw-r--r-- | kde/doinst.sh/kde-workspace | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/kde/doinst.sh/kde-workspace b/kde/doinst.sh/kde-workspace index 793bae7..e01f8b8 100644 --- a/kde/doinst.sh/kde-workspace +++ b/kde/doinst.sh/kde-workspace @@ -1,21 +1,5 @@ #!/bin/sh -config() { - NEW="$1" - OLD="$(dirname $NEW)/$(basename $NEW .new)" - # If there's no config file by that name, mv it over: - if [ ! -r $OLD ]; then - mv $NEW $OLD - elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then - # toss the redundant copy - rm $NEW - fi - # Otherwise, we leave the .new copy for the admin to consider... -} - -config etc/kde/kdm/backgroundrc.new -config etc/kde/kdm/kdmrc.new - if [ -x usr/bin/update-desktop-database ]; then usr/bin/update-desktop-database usr/share/applications >/dev/null 2>&1 fi |