.lib/stubs/tectonic

Wed, 15 May 2024 14:24:02 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Wed, 15 May 2024 14:24:02 -0500
changeset 1164
a8b6384c8738
parent 1119
84cd2286f0bf
permissions
-rwxr-xr-x

increase formatexpr timeout

1005
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
1 #!/bin/sh
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
2 set -eu
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
3
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
4 age_limit=30
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
5
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
6 install_it() {
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
7 mkdir -p ~/.local/bin
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
8 cd ~/.local/bin
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
9 curl --proto '=https' --tlsv1.2 -fsSL https://drop-sh.fullyjustified.net |
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
10 sh
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
11 cd -
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
12 asdf reshim || :
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
13 }
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
14
42fb34b64292 add tectonic stub
Meredith Howard <mhoward@roomag.org>
parents:
diff changeset
15 . ~/.lib/sh/stubexec.sh

mercurial