Add CS script dir, add JFLAP install script

scripts/cs/jflap.sh

@@ -0,0 +1,85 @@
+#!/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