From 63f63ff8553893d1b2a86b3e343fdfc729a55a61 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 11 Oct 2022 13:17:21 -0700
Subject: [PATCH] add some scripts

---
 bin/latest-lean4-nightly | 3 +++
 bin/lean-language-server | 2 ++
 bin/nightly-lake         | 3 +++
 3 files changed, 8 insertions(+)
 create mode 100755 bin/latest-lean4-nightly
 create mode 100755 bin/lean-language-server
 create mode 100755 bin/nightly-lake

diff --git a/bin/latest-lean4-nightly b/bin/latest-lean4-nightly
new file mode 100755
index 0000000..0718e97
--- /dev/null
+++ b/bin/latest-lean4-nightly
@@ -0,0 +1,3 @@
+#!/bin/sh
+set -euo pipefail
+echo leanprover/lean4:`hub api /repos/leanprover/lean4-nightly/releases | jq -r '.[0].tag_name'`
diff --git a/bin/lean-language-server b/bin/lean-language-server
new file mode 100755
index 0000000..787407f
--- /dev/null
+++ b/bin/lean-language-server
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec npx lean-language-server "$@"
diff --git a/bin/nightly-lake b/bin/nightly-lake
new file mode 100755
index 0000000..c528763
--- /dev/null
+++ b/bin/nightly-lake
@@ -0,0 +1,3 @@
+#!/bin/sh
+set -euo pipefail
+exec lake +`latest-lean4-nightly` "$@"