You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
85 lines
1.6 KiB
85 lines
1.6 KiB
#!/bin/sh -e
|
|
|
|
## JFLAP v7
|
|
|
|
DEPS=java-1.8.0-openjdk
|
|
PROG=JFLAP
|
|
FILE=JFLAP.jar
|
|
FILE_URL=http://www.jflap.org/jflaptmp/may15-2011/withoutSource/JFLAP.jar
|
|
PROG_NAME=jflap
|
|
ICON_URL=http://jflap.org/jflapLogo2.jpg
|
|
|
|
|
|
# Check that the current user is root
|
|
if [ $EUID != 0 ]
|
|
then
|
|
echo "Please run this script as root (sudo $@$0)."
|
|
exit
|
|
fi
|
|
|
|
|
|
# Install dependencies
|
|
|
|
dnf install $DEPS -y
|
|
|
|
|
|
# Make the dirs
|
|
|
|
mkdir -p /usr/local/$PROG
|
|
|
|
|
|
# Get the files
|
|
|
|
curl -o /usr/local/$PROG/$FILE $FILE_URL
|
|
|
|
|
|
# Make a link
|
|
|
|
cat > /usr/local/bin/$PROG_NAME <<EOF
|
|
#!/bin/sh
|
|
cd \$HOME
|
|
java -jar /usr/local/$PROG/$FILE
|
|
EOF
|
|
|
|
chmod +x /usr/local/bin/$PROG_NAME
|
|
chmod +x /usr/local/$PROG/$FILE
|
|
|
|
|
|
# Make a desktop file
|
|
|
|
cat > /usr/local/share/applications/$PROG.desktop <<EOF
|
|
[Desktop Entry]
|
|
|
|
# The type as listed above
|
|
Type=Application
|
|
|
|
# The version of the desktop entry specification to which this file complies
|
|
Version=7.0
|
|
|
|
# The name of the application
|
|
Name=$PROG
|
|
|
|
# A comment which can/will be used as a tooltip
|
|
Comment=Experiment with formal languages topics
|
|
|
|
# The path to the folder in which the executable is run
|
|
Path=
|
|
|
|
# The executable of the application, possibly with arguments.
|
|
Exec=/usr/local/bin/jflap
|
|
|
|
# The name of the icon that will be used to display this entry
|
|
Icon=/usr/local/share/icons/$PROG.jpg
|
|
|
|
# Describes whether this application needs to be run in a terminal or not
|
|
Terminal=false
|
|
|
|
# Describes the categories in which this entry should be shown
|
|
Categories=Education;Languages;Java;
|
|
EOF
|
|
|
|
|
|
# Get the icons
|
|
|
|
mkdir -p /usr/local/share/icons
|
|
curl -o /usr/local/share/icons/$PROG.jpg $ICON_URL
|