From 83ff6d74036e287497bf987f336ca800b101ed0b Mon Sep 17 00:00:00 2001
From: Alan Pearce
Date: Fri, 14 Apr 2023 17:28:15 +0200
Subject: Remove old tabnine update script

---
 update-tabnine.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 update-tabnine.sh

(limited to 'update-tabnine.sh')

diff --git a/update-tabnine.sh b/update-tabnine.sh
deleted file mode 100755
index bd6a0721..00000000
--- a/update-tabnine.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-
-set -euo pipefail
-
-function prefetch_target () {
-  nix-prefetch-url --type sha256 https://update.tabnine.com/$2/$1/TabNine
-}
-
-if [ -z "$1" ]; then
-  echo "Usage: $0 <version>"
-  exit 1
-fi
-
-echo "
-sha256 = if stdenv.isDarwin then
-\"$(prefetch_target x86_64-apple-darwin $1)\"
-else
-\"$(prefetch_target x86_64-unknown-linux-musl $1)\";"
-- 
cgit 1.4.1