ref: 171d25493dcc51fbcb0e21aebaf018e74bfebe2b
parent: 4e83c8f163b311b5433078e4385e99e1bc161bd9
author: Cowington Post <cowingtonpost@gmail.com>
date: Fri Sep 6 14:13:26 EDT 2024
fix formatting on a few more documents
--- a/9.ms
+++ b/9.ms
@@ -101,3 +101,4 @@
httpd will never know what is really on /secret-data, it just will see
whatever is on empty/ all other procs (besides httpd forks), will see
/secret-data as is.
+
--- a/9gridchan.ms
+++ b/9gridchan.ms
@@ -1,38 +1,44 @@
-# 9gridchan
+.TL 9gridchan
+.HTML 9gridchan
-## From Plan9
+.SH
+From Plan9
+.PP
Replace $user with your username.
+.P1
+; 9fs tcp!cloud9p.org!900 /n/chat
+; cat /n/chat/chat &
+; while() echo `{date -u -f 'hh:mm'} '<'$user'>' `{read} >> /n/chat/chat+.P2
+.SH
+From UNIX:
- ; 9fs tcp!cloud9p.org!900 /n/chat
- ; cat /n/chat/chat &
- ; while() echo `{date -u -f 'hh:mm'} '<'$user'>' `{read} >> /n/chat/chat-
+.IP *
+Install plan9port[1].
-
-
-## From UNIX:
-
-Install [plan9port][1].
-
+.PP
On OpenBSD: either libixp or plan9port works, just replace command name,
-
-
-
- $ doas pkg_add plan9port
+.P1
+$ doas pkg_add plan9port
+.P2
-
+.IP *
Now to connect, run:
+.P1
+$ 9 9p -a 'tcp!cloud9p.org!900' read chat | sed "s/$/$(echo '\a')/" &
+while read l; do echo $(date -u "+%H:%M") $USER → "$l"
+done | 9 9p -a 'tcp!cloud9p.org!900' write chat
+.P2
-
- $ 9 9p -a 'tcp!cloud9p.org!900' read chat | sed "s/$/$(echo '\a')/" &
- while read l; do echo $(date -u "+%H:%M") $USER → "$l"
- done | 9 9p -a 'tcp!cloud9p.org!900' write chat
-
-
+.PP
Note: hubfs does not work with tail, so it is not possible to run tail on the chat file.
- [1]: https://9fans.github.io/plan9port/
\ No newline at end of file
+.FS
+.IP [1]
+https://9fans.github.io/plan9port/
+.FE
+
--- a/audio.ms
+++ b/audio.ms
@@ -1,67 +1,67 @@
-# Audio
+.HTML Audio
+.TL Audio
+.PP
If the sound card is detected:
-
-
- ; ls '#A'
- '#A/audio'
- '#A/audioctl'
- '#A/audiostat'
- '#A/volume'
-
-
-
-
- ; ls /dev/audiostat
-
-
+.P1
+; ls '#A'
+\'#A/audio'
+\'#A/audioctl'
+\'#A/audiostat'
+\'#A/volume'
+; ls /dev/audiostat
+.P2
+
+.PP
You can check which pins are being used for input and output (output for Thinkpad x200):
-
-
- ; cat /dev/audiostat
- bufsize 1024 buffered 0
- codec 0 pin 25 inpin 29
- aout 16 c1d
- aout 17 c1d
- aout 18 211
- beep 19 70000c
- ain 20 100d1b ← pin 29, pin 23
- ain 21 100d1b ← pin 24
- pin 22 out jack ext right hpout green ← aout 16, aout 17
- pin 23 in nothing sep rear micin pink
- pin 24 in jack ext right micin pink
- pin 25 out nothing sep rear hpout green ← aout 16, aout 17
- pin 26 out fix int N/A speaker ? eapd ← aout 16, aout 17
- pin 27 out nothing ext N/A other ? eapd ← aout 16, aout 17
- pin 28 out nothing ext N/A other ? ← aout 18
- pin 29 in fix int N/A micin ?
- beep 30 f00000
- outpath aout 16 → pin 26
- outamp aout 16
- inpath pin 29 → ain 20
- inamp ain 20
+.P1
+; cat /dev/audiostat
+bufsize 1024 buffered 0
+codec 0 pin 25 inpin 29
+aout 16 c1d
+aout 17 c1d
+aout 18 211
+beep 19 70000c
+ain 20 100d1b ← pin 29, pin 23
+ain 21 100d1b ← pin 24
+pin 22 out jack ext right hpout green ← aout 16, aout 17
+pin 23 in nothing sep rear micin pink
+pin 24 in jack ext right micin pink
+pin 25 out nothing sep rear hpout green ← aout 16, aout 17
+pin 26 out fix int N/A speaker ? eapd ← aout 16, aout 17
+pin 27 out nothing ext N/A other ? eapd ← aout 16, aout 17
+pin 28 out nothing ext N/A other ? ← aout 18
+pin 29 in fix int N/A micin ?
+beep 30 f00000
+outpath aout 16 → pin 26
+outamp aout 16
+inpath pin 29 → ain 20
+inamp ain 20
+.P2
+.PP
+This line `codec 0 pin 25 inpin 29` shows that pin 25 is being used for output
+and pin 29 used for input. On my laptop, it is necessary to set the output pin
+to 26:
-This line `codec 0 pin 25 inpin 29` shows that pin 25 is being used for output and pin 29 used for input. On my laptop, it is necessary to set the output pin to 26:
-
-
-
- ; echo pin 26 > /dev/audioctl
+.P1
+; echo pin 26 > /dev/audioctl
+.P2
-
+.PP
Now it's possible to play music:
+.P1
+; audio/oggdec < music.ogg >/dev/audio
+; audio/mp3dec < music.mp3 >/dev/audio
+.P2
+.FS
+.IP *
+http://nopenopenope.net/posts/audio
+.IP *
+https://git.sr.ht/~ft/jacksense
+.FE
- ; audio/oggdec < music.ogg >/dev/audio
- ; audio/mp3dec < music.mp3 >/dev/audio
-
-
-Sources:
-
-
-
-* <http://nopenopenope.net/posts/audio>
-* <https://git.sr.ht/~ft/jacksense>
\ No newline at end of file
--- a/ideas.ms
+++ b/ideas.ms
@@ -1,51 +1,94 @@
-# Ideas
+.TL Ideas
+.HTML Ideas
-Fork of 9Front:
+.SH
+Fork of 9Front
-Goals:
+.SH
+Goals
+.PP
+.IP *
+Separate non-free software from free software. Make sure non-free software is not downloaded by default but instead placed in a separate repository.
+.IP * 4
+Replace Aladdin Ghostscript with freely licensed version
+.IP *
+Allow contributions from any free license, whether it is GPL or BSD. All licenses must respect the four basic freedoms. Avoid discrimination based on licenses. Create a tolerant base for users with different beliefs and skill levels.
+.IP *
+Accessibility for blind, Keyboard-only access: -- Write Serial Console Guide
+.IP *
+Fix VNC server bug; slows to a crawl after long uptime
+.IP *
+Add protection against bitrot in file system
+.IP *
+Write Plan101 course
+.IP *
+Support all Linux and BSDs (?)
+.IP *
+Provide 9fs for every operating system
+.IP *
+Port Drawterm to every platform:
+.IP * 4
+iOS -- may be impossible, use vncs instead
+.IP * 4
+Android
+.IP * 4
+Linux
+.IP * 8
+Debian
+.IP * 8
+OpenSuSE
+.IP * 4
+FreeBSD, NetBSD?
+.IP *
+Keep plan9port up to date for every platform
+.IP *
+Inferno?
+.IP *
+Host files -- tech books, gutenberg.org, RFCs, librivox, wikipedia, survival books
+.IP *
+Add filesystems: ircfs, xmppfs, matrixfs, check nntpfs, activitypubfs, check gopherfs, geminifs, check rssfs
-
-* Separate non-free software from free software. Make sure non-free software is not downloaded by default but instead placed in a separate repository.
- * Replace Aladdin Ghostscript with freely licensed version
-* Allow contributions from any free license, whether it is GPL or BSD. All licenses must respect the four basic freedoms. Avoid discrimination based on licenses. Create a tolerant base for users with different beliefs and skill levels.
-* Accessibility for blind, Keyboard-only access: -- Write Serial Console Guide
-* Fix VNC server bug; slows to a crawl after long uptime
-* Add protection against bitrot in file system
-* Write Plan101 course
-* Support all Linux and BSDs (?)
-* Provide 9fs for every operating system
-* Port Drawterm to every platform:
- * iOS -- may be impossible, use vncs instead
- * Android
- * Linux
- * Debian
- * OpenSuSE
- * FreeBSD, NetBSD?
-* Keep plan9port up to date for every platform
-* Inferno?
-* Host files -- tech books, gutenberg.org, RFCs, librivox, wikipedia, survival books
-* Add filesystems: ircfs, xmppfs, matrixfs, check nntpfs, activitypubfs, check gopherfs, geminifs, check rssfs
-
+.SH
Low Priority
+.PP
-* Perhaps: searchable package manager with prebuilt binaries
-* Write free drivers for wifi
-* Write a working firewall
+.IP *
+Perhaps: searchable package manager with prebuilt binaries
+.IP *
+Write free drivers for wifi
+.IP *
+Write a working firewall
-* VCS conversion filesystem
-* Dynamically generated filesystem? like CGI
-* file type conversion filesystem?
-* overload existing grammar for shell verbs (commands), prepositions (pipes)
+.IP *
+VCS conversion filesystem
+.IP *
+Dynamically generated filesystem? like CGI
+.IP *
+file type conversion filesystem?
+.IP *
+overload existing grammar for shell verbs (commands), prepositions (pipes)
+.SH
Obsolete:
+.PP
-* Make it easy to port existing UNIX applications
-* X11 -- just use unix and install plan9port
-* Get working servers for:
- * IRC
- * psybnc fork
- * DNS ([delphinusdnsd][1])
-* HTTP server: provide compatibility with most web apps
+.IP *
+Make it easy to port existing UNIX applications
+.IP *
+X11 -- just use unix and install plan9port
+.IP *
+Get working servers for:
+.IP * 4
+IRC
+.IP * 4
+psybnc fork
+.IP * 4
+DNS ([delphinusdnsd][1])
+.IP * 4
+HTTP server: provide compatibility with most web apps
- [1]: https://pirata.dev/delphinusdnsd/
\ No newline at end of file
+.FS
+[1]: https://pirata.dev/delphinusdnsd/
+.FE
+
--- a/jsdrawterm.ms
+++ b/jsdrawterm.ms
@@ -1,10 +1,13 @@
-# JSDrawterm
+.TL JSDrawterm
+.HTML JSDrawterm
-[JSDrawterm][1]: Drawterm for your web browser.
+.PP
+Drawterm for your web browser. [1]
+.ihtml img <img src="https://wiki.ircnow.org/uploads/9/JSDrawterm.png" alt="screenshot of JSDrawterm" />
+.FS
+.IP [1]
+https://github.com/aiju/jsdrawterm
+.FE
-![][2]
-
- [1]: https://github.com/aiju/jsdrawterm
- [2]: https://wiki.ircnow.org/uploads/9/JSDrawterm.png
\ No newline at end of file
--- a/reading.ms
+++ b/reading.ms
@@ -1,14 +1,31 @@
-# Reading
+.TL Reading
+.HTML Reading
-1. * The RISC-V Reader: An Open Architecture Atlas
- * Waterman, Andrew,Patterson, David
- * Published by Strawberry Canyon, 2017
- * ISBN 10: 099924910XISBN 13: 9780999249109
-2. * RISC-V Assembly Language
- * Dos Reis, Anthony J.
- * Published by Independently published, 2019
- * ISBN 10: 1088462006ISBN 13: 9781088462003
-3. * Computer Organization and Design: The Hardware Software Interface: RISC-V Edition (The Morgan Kaufmann Series in Computer Architecture and Design)
- * David A. Patterson,John L. Hennessy
- * Published by Morgan Kaufmann, 2017
- * ISBN 10: 0128122757ISBN 13: 9780128122754
\ No newline at end of file
+.IP 1. 4
+The RISC-V Reader: An Open Architecture Atlas
+.IP * 8
+Waterman, Andrew,Patterson, David
+.IP * 8
+Published by Strawberry Canyon, 2017
+.IP * 8
+ISBN 10: 099924910XISBN 13: 9780999249109
+
+.IP 2. 4
+RISC-V Assembly Language
+.IP * 8
+Dos Reis, Anthony J.
+.IP * 8
+Published by Independently published, 2019
+.IP * 8
+ISBN 10: 1088462006ISBN 13: 9781088462003
+
+.IP 3. 4
+Computer Organization and Design: The Hardware Software Interface: RISC-V Edition (The Morgan Kaufmann Series in Computer Architecture and Design)
+.IP * 8
+David A. Patterson,John L. Hennessy
+.IP * 8
+Published by Morgan Kaufmann, 2017
+.IP * 8
+ISBN 10: 0128122757ISBN 13: 9780128122754
+
+
--- a/splinternet.ms
+++ b/splinternet.ms
@@ -1,62 +1,97 @@
-# The Net is Dead, Long Live Inter9
+.TL The Net is Dead, Long Live Inter9
+.HTML The Net is Dead, Long Live Inter9
+.SH
The Internet is fundamentally broken:
+.IP 1.
+DNS assumes a single central root, but China and Russia have begun to create their own alternative roots
+.IP 2.
+The default certificate authorities trusted by our operating systems and browsers have proven themselves untrustworthy. They are controlled by malicious corporations or government agents. These authorities are likely to get blacklisted along political boundaries during a major war
+.IP 3.
+The official Internet standards bodies are no longer controlled by the its users. They are now controlled by corporations with no accountability. Many malicious standards are now being drafted and rubberstamped by these bodies.
+.IP 4.
+The W3C is now effectively controlled by Silicon Valley, so that the web is becoming infected with DRM. For example, Google's WEI proposal would make web browsers uniquely identifiable, and may be used to discriminate against free software users.
+.IP 5.
+National firewalls are being implemented everywhere
+.IP 6.
+The Internet was designed to be a distributed network, but its network topology today resembles a centralized network
+.IP 7.
+Average users can no longer participate as peers or equals on this internet. The upfront capital costs are too high.
+.IP 8.
+Reviving old protocols is insufficient to protect the FOSS community when the entire foundation of the Internet (IP addressing, certificate authorities, and domain name system) are becoming closed and non-free
+.IP 9.
+Internet standards are suffering from the second system effect: TCP/2 (QUIC), HTTP/3, IPv6, ...
+.SH
+In order to achieve a free internet, it is important for users to host their
+own servers from machines they control (ie, from home). However, self-hosting
+from home faces many serious obstacles to self hosting:
-1. DNS assumes a single central root, but China and Russia have begun to create their own alternative roots
-2. The default certificate authorities trusted by our operating systems and browsers have proven themselves untrustworthy. They are controlled by malicious corporations or government agents. These authorities are likely to get blacklisted along political boundaries during a major war
-3. The official Internet standards bodies are no longer controlled by the its users. They are now controlled by corporations with no accountability. Many malicious standards are now being drafted and rubberstamped by these bodies.
-4. The W3C is now effectively controlled by Silicon Valley, so that the web is becoming infected with DRM. For example, Google's WEI proposal would make web browsers uniquely identifiable, and may be used to discriminate against free software users.
-5. National firewalls are being implemented everywhere
-6. The Internet was designed to be a distributed network, but its network topology today resembles a centralized network
-7. Average users can no longer participate as peers or equals on this internet. The upfront capital costs are too high.
-8. Reviving old protocols is insufficient to protect the FOSS community when the entire foundation of the Internet (IP addressing, certificate authorities, and domain name system) are becoming closed and non-free
-9. Internet standards are suffering from the second system effect: TCP/2 (QUIC), HTTP/3, IPv6, ...
+.IP 1.
+IPv4 addresses are becoming increasingly expensive
+.IP 2.
+IPv6 addressing increases the learning curve and complexity
+.IP 3.
+Most residential ISP users lack support for dual stack ipv4/ipv6 networking
+.IP 4.
+It is very easy to geolocate an IP address, so that self-hosting offers zero privacy
+.IP 5.
+Hosting servers puts users at risk of DDoS attacks, and DDoS protection is too expensive for most. This has chilling effects on free speech
+.IP 6.
+Most residential ISPs do not provide static IP addresses, or may employ NAT
+.IP 7.
+Dynamic DNS is difficult to set up properly
+.IP 8.
+A lack of static rDNS make it impossible to host applications like IRC or email
+.IP 9.
+Residential IPs are often blacklisted
+.IP 10.
+Hosting servers is contractually forbidden by most ISPs, and can be grounds for termination if caught
+.IP 11.
+Domain names are at risk of being seized by government
-In order to achieve a free internet, it is important for users to host their own servers from machines they control (ie, from home). However, self-hosting from home faces many serious obstacles to self hosting:
+.ihtml img <img src="https://www.bleepstatic.com/images/news/sites/z/z-library/new-seizure-notice.jpg" alt="Seizure Notice" />
+.SH
+There are parallels between the closing of the formerly open Internet and the
+closing of the formerly open UNIX system:
-
-1. IPv4 addresses are becoming increasingly expensive
-2. IPv6 addressing increases the learning curve and complexity
-3. Most residential ISP users lack support for dual stack ipv4/ipv6 networking
-4. It is very easy to geolocate an IP address, so that self-hosting offers zero privacy
-5. Hosting servers puts users at risk of DDoS attacks, and DDoS protection is too expensive for most. This has chilling effects on free speech
-6. Most residential ISPs do not provide static IP addresses, or may employ NAT
-7. Dynamic DNS is difficult to set up properly
-8. A lack of static rDNS make it impossible to host applications like IRC or email
-9. Residential IPs are often blacklisted
-10. Hosting servers is contractually forbidden by most ISPs, and can be grounds for termination if caught
-11. Domain names are at risk of being seized by government
-
-
-
-![][1]
-
-There are parallels between the closing of the formerly open Internet and the closing of the formerly open UNIX system:
-
-
-
- History of UNIX
- ~1970 -- Unix is born
- ~1976 -- Sixth edition is released to the world, open source
- 1980s -- Unix licensing becomes more strict
- 1985 -- Source code taken away
- 1985 -- Minix, BSD try to create a free version of UNIX
- 1990 -- GNU almost finishes
- 1993 -- Linux succeeds, the world's first free operating system
+.IP *
+History of UNIX
+.IP * 8
+~1970 -- Unix is born
+.IP * 8
+~1976 -- Sixth edition is released to the world, open source
+.IP * 8
+1980s -- Unix licensing becomes more strict
+.IP * 8
+1985 -- Source code taken away
+.IP * 8
+1985 -- Minix, BSD try to create a free version of UNIX
+.IP * 8
+1990 -- GNU almost finishes
+.IP * 8
+1993 -- Linux succeeds, the world's first free operating system
- History of Internet
- 1969 -- BBN creates first ARPAnet
- ~1975 -- TCP/IP being designed
- ~1980 -- NSF takes over ARPAnet
- ~1990 -- Internet becomes open for commerce and to the public
- ~2000 -- Government begins to regulate Internet
- ~2024 -- Internet freedom is taken away
- ?FUTURE? -- Birth of inter9, the world's first free network
+.IP * 4
+History of Internet
+.IP * 8
+1969 -- BBN creates first ARPAnet
+.IP * 8
+~1975 -- TCP/IP being designed
+.IP * 8
+~1980 -- NSF takes over ARPAnet
+.IP * 8
+~1990 -- Internet becomes open for commerce and to the public
+.IP * 8
+~2000 -- Government begins to regulate Internet
+.IP * 8
+~2024 -- Internet freedom is taken away
+.IP * 8
+?FUTURE? -- Birth of inter9, the world's first free network
+.PP
+There is a race now to create a new, free and open internet. Our network should
+aim to be the first to create one with the right pinciples.
-There is a race now to create a new, free and open internet. Our network should aim to be the first to create one with the right pinciples.
-
- [1]: https://www.bleepstatic.com/images/news/sites/z/z-library/new-seizure-notice.jpg
\ No newline at end of file
--- a/sysupdate.ms
+++ b/sysupdate.ms
@@ -1,23 +1,27 @@
-# Sysupdate
+.TL Sysupdate
+.HTML Sysupdate
+.SH
To update your system:
-
-
-
- ; webfs ; sysupdate ; cd /sys/src ; mk nuke ; mk all ; mk install
+.PP
+.P1
+; webfs ; sysupdate ; cd /sys/src ; mk nuke ; mk all ; mk install
+.P2
+.SH
+To update kernel images after updating system: this can't be done over drawterm.
-To update kernel images after updating system: this can't be done over drawterm.
+.IP *
+i386:
-
-
-## i386
-
- ; cd /sys/src/9/pc ; mk install
+.P1
+; cd /sys/src/9/pc ; mk install
+.P2
+.IP *
+amd64:
+.P1
+; cd /sys/src/9/pc64 ; mk install
+.P2
-
-## amd64
-
- ; cd /sys/src/9/pc64 ; mk install
\ No newline at end of file