Plan 9 from User Space

From a39938859387987d5aac6201600154a68fad7c40 Mon Sep 17 00:00:00 2001 From: Russ Cox Date: Fri, 1 Sep 2017 13:16:43 -0400 Subject: all: update site from swtch.com to 9fans.github.io --- dist/README | 3 ++- dist/main.html | 19 +++++++++---------- dist/mantrailer.html | 2 +- dist/mkdirlist | 7 +++++++ dist/mkfile | 7 +------ dist/publish | 29 +++++++++++++++++++++++++++++ dist/ss.html | 4 +++- dist/unix.html | 2 +- 8 files changed, 53 insertions(+), 20 deletions(-) create mode 100755 dist/mkdirlist create mode 100755 dist/publish (limited to 'dist') diff --git a/dist/README b/dist/README index eaa28d0d..ba27e51e 100644 --- a/dist/README +++ b/dist/README @@ -7,5 +7,6 @@ mk man recreates the HTML version of the man pages mk push - copies the HTML pages to swtch.com + copies the HTML pages to 9fans.github.io + diff --git a/dist/main.html b/dist/main.html index 47f8b1e0..f0b51911 100644 --- a/dist/main.html +++ b/dist/main.html @@ -6,7 +6,7 @@ Edit ./^$/,s/ - +Plan 9 from User Space @@ -32,9 +32,7 @@ Edit ./^$/,s/

browse | - hg - | - hgweb + github | unix | @@ -76,9 +74,10 @@ Edit ./^$/,s/


	- latest tree: plan9port.tgz - (date and checksums; - list of recent changes; + using git: `git clone https://github.com/9fans/plan9port plan9` + + latest tree: plan9port-master.zip + (list of recent changes; license)

@@ -146,7 +145,7 @@ Edit ./^$/,s/


	mailing list (plan9port-dev on Google groups) - issue tracker (http://code.swtch.com/plan9port/issues/) + issue tracker (https://github.com/9fans/plan9port/issues) Russ Cox (rsc@swtch.com)

@@ -161,7 +160,7 @@ Edit ./^$/,s/

- See http://swtch.com/plan9port/unix/. + See https://9fans.github.io/plan9port/unix/.

@@ -169,7 +168,7 @@ Edit ./^$/,s/


	- + An early version of Plan 9 from User Space for Windows. Only for reference. diff --git a/dist/mantrailer.html b/dist/mantrailer.html index 0d49cdc2..f2139004 100644 --- a/dist/mantrailer.html +++ b/dist/mantrailer.html @@ -2,6 +2,6 @@

	- +

diff --git a/dist/mkdirlist b/dist/mkdirlist new file mode 100755 index 00000000..8f43fc8a --- /dev/null +++ b/dist/mkdirlist @@ -0,0 +1,7 @@ +#!/usr/local/plan9/bin/rc + +echo '

'
+echo 'Plan 9 from User Space '$2
+echo
+@{cd $1; 9 ls -lF} | 9 sed 's!^(.-......... M 0 )[^ ]+ [^ ]+ (.*) (.*[^*])!\1 glenda sys \2 \3!'
+echo '

' diff --git a/dist/mkfile b/dist/mkfile index e0607146..bbc431e0 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -9,9 +9,4 @@ man:V: 9 rc ./manweb push:V: - gsutil -m rsync -r -d $PLAN9/man gs://swtch/www/plan9port/man - gsutil cp unix.html gs://swtch/www/plan9port/unix/index.html - gsutil cp main.html gs://swtch/www/plan9port/index.html - gsutil cp ss.html gs://swtch/www/plan9port/screenshots/index.html - # @{cd ../unix/man && mk push} - # @{cd ../unix && mk push} + 9 rc ./publish diff --git a/dist/publish b/dist/publish new file mode 100755 index 00000000..bfad7cae --- /dev/null +++ b/dist/publish @@ -0,0 +1,29 @@ +#!/usr/local/plan9/bin/rc + +dir=$9fansweb +if (~ $#dir 0) { + dir=$home^/pub/9fans.github.io + 9fansweb=$dir +} + +root=$dir/plan9port +if (! test -d $root) { + echo $root does not exist >[1=2] + exit bad +} + +rm -rf $root/man +cp -a ../man $root/man +mkdir -p $root/unix +cp unix.html $root/unix/index.html +cp main.html $root/index.html +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 +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 +} diff --git a/dist/ss.html b/dist/ss.html index 92076848..5ef2fd1d 100644 --- a/dist/ss.html +++ b/dist/ss.html @@ -6,7 +6,7 @@ Edit ./^$/,s/ - +Plan 9 from User Space - Screen Shots @@ -101,6 +101,7 @@ Edit ./^$/,s/

diff --git a/dist/unix.html b/dist/unix.html index dc95c3d8..0e8394c2 100644 --- a/dist/unix.html +++ b/dist/unix.html @@ -6,7 +6,7 @@ Edit ./^$/,s/ - +Unix Software from Plan 9 -- cgit v1.2.3