From 30e7c35db5936c59078cbfd1d83632454add572f Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Sat, 20 Oct 2018 17:30:09 -0700 Subject: Remove some unused scripts --- home/bin/drone-encsecrets | 27 --------------------------- home/bin/open-project | 25 ------------------------- home/bin/sbtc | 5 ----- home/bin/sw | 15 --------------- 4 files changed, 72 deletions(-) delete mode 100755 home/bin/drone-encsecrets delete mode 100755 home/bin/open-project delete mode 100755 home/bin/sbtc delete mode 100755 home/bin/sw 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 - -- cgit v1.2.3