Remove some unused scripts

4 files changed, 0 insertions, 72 deletions

diff --git a/home/bin/drone-encsecrets b/home/bin/drone-encsecrets
deleted file mode 100755
index b341094..0000000
--- a/home/bin/drone-encsecrets
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/bash
-
-# Update drone-ci secrets
-
-# Get the repository of the current git project.
-# The repository name is the username/project tuple of the origin remote.
-REPO=${REPO:-$(git remote show origin -n | grep "Fetch URL:" | sed -e 's,.*:\(.*\),\1,' -e 's/\.git$//')}
-
-SECRETS_FILE="$HOME/.drone/secrets/$REPO/secrets.yml"
-
-echo "Generating secret for repository: $REPO"
-echo "Using secrets from: $SECRETS_FILE"
-
-if [ ! -f "$SECRETS_FILE" ]; then
-    echo "Secrets file $SECRETS_FILE does not exist. Aborting.">&2
-    exit 1
-fi
-
-drone \
-    --server https://drone.jodersky.ch \
-    --token $(pass infra/drone-token) \
-    secure \
-    --repo "$REPO" \
-    -in "$SECRETS_FILE" \
-    -out .drone.sec \
-    --yaml .drone.yml \
-    --checksum
diff --git a/home/bin/open-project b/home/bin/open-project
deleted file mode 100755
index bb98946..0000000
--- a/home/bin/open-project
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/bash
-
-kind="$1"
-root="$HOME/src/driver"
-projects=$(find "$root" -mindepth 1 -maxdepth 1 -type d -printf "%f\n" | sort)
-project=$(echo "$projects" | dmenu -p "Open project:")
-[ "$?" -eq 0 ] || exit 1
-dir=$(realpath "$root/$project")
-
-# Rename workspace
-i3-msg rename workspace to \
-       "$(i3-msg -t get_workspaces | jq '.[] | select(.focused==true).num'):$project" > /dev/null
-
-case "$kind" in
-    intellij|"")
-	idea "$dir" &
-	sakura -d "$dir" &
-	sakura -d "$dir" &
-    ;;
-    *)
-	echo "unknown project kind $kind"
-	exit 1
-esac
-
-#i3-msg "append_layout ~/layout.json; exec emacsclient --alternate-editor=\"\" --create-frame \"$dir\"; exec gnome-terminal --working-directory=\"$dir\" -x sh -c sbt; exec gnome-terminal --working-directory=\"$dir\""
diff --git a/home/bin/sbtc b/home/bin/sbtc
deleted file mode 100755
index fbc1aed..0000000
--- a/home/bin/sbtc
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-# Start sbt in a clean environment
-
-/usr/bin/sbt  -Dsbt.global.base="$HOME/.sbt-clean" $@
diff --git a/home/bin/sw b/home/bin/sw
deleted file mode 100755
index f021d7f..0000000
--- a/home/bin/sw
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-# Switch workspace between a specified primary one and the current one.
-
-PRIMARY=0
-CURRENT=$(wmctrl -d | grep \* | cut -d " " -f1)
-
-SAVE_FILE=/tmp/current-workspace
-
-if [ "$CURRENT" = "$PRIMARY" ] && [ -e "$SAVE_FILE" ]; then
-    wmctrl -s $(cat "$SAVE_FILE")
-else
-    echo "$CURRENT" > "$SAVE_FILE"
-    wmctrl -s $PRIMARY
-fi
-