add some scripts
This commit is contained in:
parent
9af669bed5
commit
63f63ff855
|
@ -0,0 +1,3 @@
|
|||
#!/bin/sh
|
||||
set -euo pipefail
|
||||
echo leanprover/lean4:`hub api /repos/leanprover/lean4-nightly/releases | jq -r '.[0].tag_name'`
|
|
@ -0,0 +1,2 @@
|
|||
#!/bin/sh
|
||||
exec npx lean-language-server "$@"
|
|
@ -0,0 +1,3 @@
|
|||
#!/bin/sh
|
||||
set -euo pipefail
|
||||
exec lake +`latest-lean4-nightly` "$@"
|
Loading…
Reference in New Issue