1.1--- a/bootstrap.sh	Wed Jun 19 20:54:03 2024 +0000
     1.2+++ b/bootstrap.sh	Wed Jun 19 17:50:43 2024 -0400
     1.3@@ -55,11 +55,14 @@
     1.4   # cp -rf rocksdb/include/* include/
     1.5   # cp -rf rocksdb/*.so lib/
     1.6 
     1.7-  # ensure download "$_core_url" "${_core_pack}" "$_arch"
     1.8-  # unzstd "${_core_pack}"
     1.9-  # tar -xf "core.tar"
    1.10-  # cp -rf core/bin/* bin/
    1.11-  # cp -rf core/share/* share/
    1.12+  if [ ! -f "bin/skel" ]; then
    1.13+  ensure download "$_core_url" "${_core_pack}" "$_arch"
    1.14+  unzstd "${_core_pack}"
    1.15+  tar -xf "core.tar"
    1.16+  cp -rf core/bin/* bin/
    1.17+  cp -rf core/share/* share/
    1.18+  fi
    1.19+
    1.20   if [ ! -f "share/lisp/$_infra_core" ]; then
    1.21     ensure download "$_infra_core_url" "share/lisp/$_infra_core" "$_arch"
    1.22   fi

     2.1--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2+++ b/scripts/dist-emacs-binary.sh	Wed Jun 19 17:50:43 2024 -0400
     2.3@@ -0,0 +1,6 @@
     2.4+#!/bin/sh
     2.5+set -e
     2.6+name="${1:-emacs}"
     2.7+cd .stash/src/emacs
     2.8+./make-dist --tar --no-compress
     2.9+zstd -22 "${name}*.tar" -o "../../${name}.tar.zst"

     3.1--- a/scripts/install-emacs-mini-pack.sh	Wed Jun 19 20:54:03 2024 +0000
     3.2+++ b/scripts/install-emacs-mini-pack.sh	Wed Jun 19 17:50:43 2024 -0400
     3.3@@ -1,7 +1,7 @@
     3.4 #!/bin/sh
     3.5 set -e
     3.6-cd .stash/src
     3.7-curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/emacs-mini.tar.zst
     3.8+cd .stash/tmp
     3.9+curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/pack/emacs-mini.tar.zst
    3.10 unzstd emacs-mini.tar.zst
    3.11 tar -xvf emacs-mini.tar
    3.12 cd emacs

     4.1--- a/scripts/install-rocksdb-pack.sh	Wed Jun 19 20:54:03 2024 +0000
     4.2+++ b/scripts/install-rocksdb-pack.sh	Wed Jun 19 17:50:43 2024 -0400
     4.3@@ -2,8 +2,8 @@
     4.4 # the rocksdb pack only includes the shared library and headers. the
     4.5 # static library is shipped separately.
     4.6 set -e
     4.7-cd .stash/src
     4.8-curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/rocksdb.tar.zst
     4.9+cd .stash/tmp
    4.10+curl -O https://packy.compiler.company/dist/x86_64-unknown-linux-gnu/pack/rocksdb.tar.zst
    4.11 unzstd rocksdb.tar.zst
    4.12 tar -xvf rocksdb.tar
    4.13 cd rocksdb

     5.1--- a/skelfile	Wed Jun 19 20:54:03 2024 +0000
     5.2+++ b/skelfile	Wed Jun 19 17:50:43 2024 -0400
     5.3@@ -92,6 +92,8 @@
     5.4                   cp -r include/* /usr/local/include/$#)
     5.5  (stumpwm-install () #$cd .stash/src/stumpwm && make install$#)
     5.6  ;; dist
     5.7+ (emacs-mini-dist () #$scripts/dist-emacs-binary.sh emacs-mini$#)
     5.8+ (emacs-dist () #$scripts/dist-emacs-binary.sh$#)
     5.9  (sbcl-dist () #$scripts/dist-sbcl-binary.sh$#)
    5.10  (rocksdb-dist () #$scripts/dist-rocksdb-binary.sh$#)
    5.11  (stumpwm-dist () #$scripts/dist-stumpwm-binary.sh$#)