diff options
author | Andrew Clemons <andrew.clemons@gmail.com> | 2019-06-23 16:21:38 +1200 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-06-29 08:17:54 +0700 |
commit | e205cac8fa474bdfb5e104058ae4cdde34fd6895 (patch) | |
tree | 85873caf5db89e8b836af896440bcc015a1e0c0e /development/eclipse-jee/doinst.sh | |
parent | 43721ccb6190543589123863ebe5fc4d4715a3de (diff) |
development/eclipse-jee: Updated for version 4.12.
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>
Diffstat (limited to 'development/eclipse-jee/doinst.sh')
-rw-r--r-- | development/eclipse-jee/doinst.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/development/eclipse-jee/doinst.sh b/development/eclipse-jee/doinst.sh index 01a88936a7f58..935abc92530f7 100644 --- a/development/eclipse-jee/doinst.sh +++ b/development/eclipse-jee/doinst.sh @@ -1,14 +1,11 @@ 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 + elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then rm $NEW fi - # Otherwise, we leave the .new copy for the admin to consider... } if [ -x /usr/bin/update-desktop-database ]; then |