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/drone-encsecrets | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 home/bin/drone-encsecrets

(limited to 'home/bin/drone-encsecrets')

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