been a while

6 files changed, 64 insertions, 23 deletions

diff --git a/scripts/aimos/alloc b/scripts/aimos/alloc
new file mode 100755
index 0000000..46e23f6
--- /dev/null
+++ b/scripts/aimos/alloc
@@ -0,0 +1,7 @@
+#!/bin/bash
+if [ "$#" -ne 2 ]; then
+	echo "Provide two arguments (number of minutes to allocate)" >&2
+    exit 1
+fi
+
+salloc -N 1 --partition=$2 --gres=gpu:4 -t $1
diff --git a/scripts/aimos/cnr b/scripts/aimos/cnr
new file mode 100755
index 0000000..e8d5ce5
--- /dev/null
+++ b/scripts/aimos/cnr
@@ -0,0 +1,28 @@
+#!/bin/bash
+
+# cnr - compile and run
+
+path=$(realpath $1)
+out="$path.out"
+shift
+args="$@"
+
+
+# compile
+echo "===> COMPILING..."
+nvcc -g -G -gencode arch=compute_70,code=sm_70 "$path" -o "$out"
+if [[ $? -ne 0 ]]; then
+	exit 1
+fi
+echo "Success"
+
+# get node
+node=$(getactivenode)
+if [[ -z "$node" || "$node" == "(Priority)" || "$node" == "(Resources)" ]]; then
+	echo "No active nodes to run on, exiting."
+	exit 1
+fi
+
+# run
+echo "===> EXECUTING ON NODE $node ..."
+ssh $node "$out $args"
diff --git a/scripts/aimos/getactivenode b/scripts/aimos/getactivenode
new file mode 100755
index 0000000..b088853
--- /dev/null
+++ b/scripts/aimos/getactivenode
@@ -0,0 +1,2 @@
+#!/bin/bash
+squeue | awk 'NR > 1 {print $8; exit}'
diff --git a/scripts/dafny b/scripts/dafny
new file mode 100755
index 0000000..93b26a7
--- /dev/null
+++ b/scripts/dafny
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# get args
+file="${!#}"
+set -- "${@:1:$(($#-1))}"
+args="$@"
+
+cat "$file" | ssh vm "tee ~/dafny/torun.dfy > /dev/null; dafny $args ~/dafny/torun.dfy"
diff --git a/scripts/open-emacs-project b/scripts/open-emacs-project
index f2e83ab..48360b1 100755
--- a/scripts/open-emacs-project
+++ b/scripts/open-emacs-project
@@ -10,9 +10,9 @@ emacs_attached() {
 
 switch_to() {
     if emacs_attached; then
-        emacsclient -e "(proj-set-dir \"$1\")"
+        emacsclient -e "(proj-set \"$1\")"
     else
-        emacsclient -ce "(proj-set-dir \"$1\")"
+        emacsclient -ce "(proj-set \"$1\")"
     fi
 }
 
diff --git a/scripts/sysinfo b/scripts/sysinfo
index 90bac9a..8acc18d 100755
--- a/scripts/sysinfo
+++ b/scripts/sysinfo
@@ -1,15 +1,11 @@
 #!/bin/sh
 
-batperc=$(cat /sys/class/power_supply/BAT0/capacity)
-batstate=$(cat /sys/class/power_supply/BAT0/status)
-brightness=$(brightnessctl -m | cut -d, -f 4)
-
-network_info() {
+get_network_info() {
     device=$(ip a | grep "state UP" | awk -F': ' '{ printf($2) }')
     case "${device}" in
         wlan*)
             network=$(iwctl station ${device} show | grep 'Connected network' \
-                | awk -F' ' '{ printf($3) }')
+						  | awk -F' ' '{ printf($3) }')
             echo "${device}: ${network}"
             ;;
         eth*)
@@ -18,24 +14,24 @@ network_info() {
     esac
 }
 
-get_volume() {
-    wpctl get-volume @DEFAULT_SINK@ | awk -F' ' '{ printf "%s %s%% %s", $1, ($2 * 100), $3; }'
-}
 
-if [ "$TERM" = "linux" ]; then
-    notify-send \
-        "System Info:" \
-        "\
+batperc=$(cat /sys/class/power_supply/BAT0/capacity)
+batstate=$(cat /sys/class/power_supply/BAT0/status)
+brightness=$(brightnessctl -m | cut -d, -f 4)
+volume=$(wpctl get-volume @DEFAULT_SINK@ | awk -F' ' '{ printf "%s %s%% %s", $1, ($2 * 100), $3; }')
+network=$(get_network_info)
+
+header="System Info:"
+message="\
+Date: $(date +"%a %b %d")
 Time: $(date "+%I:%M:%S")
-$(get_volume)
+${volume}
 Brightness: ${brightness}
 ${batstate}: ${batperc}%
-$(network_info)"
+${network}"
+
+if [ "$TERM" = "linux" ]; then
+	notify-send "$header" "$message"
 else
-    echo "\
-Time: $(date "+%I:%M:%S")
-$(get_volume)
-Brightness: ${brightness}
-${batstate}: ${batperc}%
-$(network_info)"
+	echo "$message"
 fi