diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2023-07-28 09:21:27 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2023-07-28 09:21:27 +0200 |
| commit | 425fba5a9b56a6ba85b789287cbd2c0a1c7d13b9 (patch) | |
| tree | 904b0fd487fcb9126e9ce2e6096b1ed51072195f | |
| parent | 155ca627e2ad8adffd2ac437421d527ebda75746 (diff) | |
| download | i486tcc-linux-425fba5a9b56a6ba85b789287cbd2c0a1c7d13b9.tar.gz i486tcc-linux-425fba5a9b56a6ba85b789287cbd2c0a1c7d13b9.tar.bz2 | |
forgot to add download part for notion
| -rwxr-xr-x | scripts/download.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/download.sh b/scripts/download.sh index 52d2729..5bda079 100755 --- a/scripts/download.sh +++ b/scripts/download.sh @@ -153,6 +153,13 @@ if [ ! -f "${BASE}/downloads/lua-${LUA_VERSION}.tar.gz" ]; then "https://www.lua.org/ftp/lua-${LUA_VERSION}.tar.gz" fi +if [ ! -f "${BASE}/downloads/notion-${NOTION_VERSION}.tar.gz" ]; then + git clone https://github.com/raboof/notion.git "notion-${NOTION_VERSION}" + git -C "notion-${NOTION_VERSION}" checkout "${NOTION_VERSION}" + tar zcf "${BASE}/downloads/notion-${NOTION_VERSION}.tar.gz" "notion-${NOTION_VERSION}" + rm -rf "notion-${NOTION_VERSION}" +fi + if [ ! -f "${BASE}/downloads/uflbbl-${UFLBBL_VERSION}.tar.gz" ]; then git clone git://git.andreasbaumann.cc/uflbbl.git "uflbbl-${UFLBBL_VERSION}" git -C "uflbbl-${UFLBBL_VERSION}" checkout "${UFLBBL_VERSION}" |