aboutsummaryrefslogtreecommitdiff
path: root/dist/publish
diff options
context:
space:
mode:
authorEthan Morgan <ethan@gweithio.com>2026-02-13 15:06:35 +0000
committerEthan Morgan <ethan@gweithio.com>2026-02-13 15:06:35 +0000
commit5100b165ea37229cbdc9d2614ae0be248ddf3a30 (patch)
treeb387a0db5fba4bca623a63bef055ca4096488607 /dist/publish
parentf39a2407b6e6ace6af68e466bfa2f362b9a9dd36 (diff)
Diffstat (limited to 'dist/publish')
-rwxr-xr-xdist/publish6
1 files changed, 3 insertions, 3 deletions
diff --git a/dist/publish b/dist/publish
index a9b50b88..295ec2aa 100755
--- a/dist/publish
+++ b/dist/publish
@@ -1,4 +1,4 @@
-#!/usr/local/plan9/bin/rc
+#!/Users/ethan/plan9port/bin/rc
dir=$9fansweb
if (~ $#dir 0) {
@@ -21,8 +21,8 @@ cp ss.html $root/screenshots/index.html
@{cd ../unix/man && mk push}
@{cd ../unix && mk push}
-rm -rf $root/../usr/local/plan9
-mkdir -p $root/../usr/local/plan9
+rm -rf $root/../Users/ethan/plan9port
+mkdir -p $root/../Users/ethan/plan9port
@{cd ..; git archive HEAD} | @{cd $root/../usr/local/plan9 && u tar xf -}
for(d in `{find $root/../usr/local/plan9 -type d}) {
9 rc ./mkdirlist $d `{echo $d | sed 's;.*/usr;/usr;'} >t1 && mv t1 $d/index.html