git.iko.soy/urbit.org
on master help sign in
fixed a few broken links
commite0ffd675b07c9cd9fc230dbc61661199867ab18a authorfriederjanmoerman <hijbrid@gmail.com> dateWed 8 May 2019, 15:24 (7 years ago) parent53ed21d
2 files changed+3−3
compare with master
unifiedsplit
_index.md+1−1 learn/hoon/hoon-tutorial/setup.md+2−2
_index.md+1−1
@@ -4,4 +4,4 @@ template = "sections/docs.html"
44+++
55Welcome to the documentation for the Urbit project, including the Azimuth identity layer, the Arvo operating system, and the Hoon programming language. This documentation is maintained by [Tlon](https://tlon.io) in a public [Github repository](https://github.com/urbit/docs). Issues and contributions are welcome.
66
7−Please make your way to the [Introduction](docs/introduction) for an overview of the docs.
7+Please make your way to the [Introduction](docs/getting-started) for an overview of the docs.
learn/hoon/hoon-tutorial/setup.md+2−2
@@ -7,7 +7,7 @@ Before we begin working on Hoon you should first (1) have Urbit installed and (2
77
88## Installing Urbit
99
10−You can [install Urbit](/docs/getting-started) on any Mac or Unix machine; follow the steps for creating a development ship. On Windows, make a virtual Linux machine using VirtualBox or a similar tool.
10+You can [install Urbit](docs/getting-started) on any Mac or Unix machine; follow the steps for creating a development ship. On Windows, make a virtual Linux machine using VirtualBox or a similar tool.
1111
1212Once you're finished you can boot your very own urbit.
1313
@@ -21,7 +21,7 @@ For this tutorial you'll boot and run what we call a 'comet'. *Comets* are urbi
2121
2222`~hillyn-pitwet-hasdur-paswer--miszod-rabpex-divrup-fogdur`
2323
24−Comet names aren't quite as memorable as others, but they're disposable identities that anyone can make for free to join the live network. Thus, comets make the ideal urbit for playing around with Hoon, asking for help from other Urbit devs in [Talk](/docs/arvo/arvo-internals/using/messaging/) if you need it, and showing off Urbit to your friends.
24+Comet names aren't quite as memorable as others, but they're disposable identities that anyone can make for free to join the live network. Thus, comets make the ideal urbit for playing around with Hoon, asking for help from other Urbit devs in [Talk](docs/using/messaging/) if you need it, and showing off Urbit to your friends.
2525
2626## Booting a Comet
2727