diff options
-rwxr-xr-x | update-tabnine.sh | 18 |
1 files changed, 0 insertions, 18 deletions
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)\";" |