From 30e7c35db5936c59078cbfd1d83632454add572f Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sat, 20 Oct 2018 17:30:09 -0700
Subject: Remove some unused scripts

---
 home/bin/open-project | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100755 home/bin/open-project

(limited to 'home/bin/open-project')

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\""
-- 
cgit v1.2.3