diff options
| author | Ethan Morgan <ethan@gweithio.com> | 2026-02-13 15:06:35 +0000 |
|---|---|---|
| committer | Ethan Morgan <ethan@gweithio.com> | 2026-02-13 15:06:35 +0000 |
| commit | 5100b165ea37229cbdc9d2614ae0be248ddf3a30 (patch) | |
| tree | b387a0db5fba4bca623a63bef055ca4096488607 /dist/publish | |
| parent | f39a2407b6e6ace6af68e466bfa2f362b9a9dd36 (diff) | |
Diffstat (limited to 'dist/publish')
| -rwxr-xr-x | dist/publish | 6 |
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 |