/usr/bin/kdevelop! is in kdevelop 4:4.7.3-0ubuntu1.
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 | #!/bin/sh
# This file is part of KDevelop
# Copyright 2011 David Nolden <david.nolden.kdevelop@art-master.de>
#
# This library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Library General Public
# License as published by the Free Software Foundation; either
# version 2 of the License, or (at your option) any later version.
#
# This library 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
# Library General Public License for more details.
#
# You should have received a copy of the GNU Library General Public License
# along with this library; see the file COPYING.LIB. If not, write to
# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
# Boston, MA 02110-1301, USA.
export KDEV_BASEDIR=$(dirname $0)
export APPLICATION=KDevelop
if ! [ "$KDEV_ATTACHED_PID" ]; then
ARGS=""
if [ $# -eq 0 ]; then
ARGS="-pss"
else
ARGS="$@"
fi
export KDEV_ATTACHED_PID=$($KDEV_BASEDIR/kdevelop $ARGS --pid)
fi
if ! [ "$KDEV_ATTACHED_PID" ]; then
echo "Error: Failed retrieving a pid."
exit 5
fi
# Make sure we didn't capture garbage instead of the pid (must be 1 word only)
# note: keep compatible on FreeBSD: https://bugs.kde.org/show_bug.cgi?id=311186
if [ "$(echo $KDEV_ATTACHED_PID | wc -w | sed 's/ //g')" != 1 ]; then
echo "Error: Got no valid pid."
exit 6
fi
if ! [ "$(which qdbus)" ]; then
echo "Error: The qdbus utility is missing."
exit 7
fi
export KDEV_DBUS_ID="org.kdevelop.kdevelop-$KDEV_ATTACHED_PID"
bash --init-file $KDEV_BASEDIR/kdevplatform_shell_environment.sh -i
|