@@ -138,7 +138,7 @@ But first, some terminology:
138- `arvo`: the deterministic OS that lives in a directory whose name matches your Azimuth point, ie `~famreb-todmec` lives in `/famreb-todmec`
138- `arvo`: the deterministic OS that lives in a directory whose name matches your Azimuth point, ie `~famreb-todmec` lives in `/famreb-todmec`
140Arvo runs nicely on a Unix-like operating system -- Ubuntu,
140Arvo runs nicely on a Unix-like operating system -- Ubuntu,
141−Fedora, macOS, and FreeBSD. If you're using Windows, you'll need
141+Fedora, macOS, and FreeBSD, for example. If you're using Windows, you'll need
142to get one of the aforementioned systems. Don't worry: most of them are free.
142to get one of the aforementioned systems. Don't worry: most of them are free.
144We have different installation instructions for different platforms. To install
144We have different installation instructions for different platforms. To install
@@ -152,6 +152,29 @@ with the line below:
152Urbit: a personal server operating function
152Urbit: a personal server operating function
161+C compiler (gcc or clang)
155#### MacOS
178#### MacOS
157We recommend using the Homebrew package manager to run Arvo on MacOS.
180We recommend using the Homebrew package manager to run Arvo on MacOS.
@@ -160,7 +183,7 @@ We recommend using the Homebrew package manager to run Arvo on MacOS.
162brew update
185brew update
163−brew install autoconf automake cmake gcc git gmp libsigsegv libtool meson ninja pkg-config python2 openssl re2c
186+brew install gcc git gmp libsigsegv libtool meson ninja pkg-config python2 openssl
164git clone https://github.com/urbit/urbit
187git clone https://github.com/urbit/urbit
166./scripts/bootstrap
189./scripts/bootstrap
@@ -175,7 +198,7 @@ urbit
177sudo apt-get update
200sudo apt-get update
178−sudo apt-get install autoconf automake cmake exuberant-ctags g++ git libcurl4-gnutls-dev libgmp3-dev libncurses5-dev libsigsegv-dev libssl-dev libtool make openssl pkg-config python python3 python3-pip ragel re2c zlib1g-dev
201+sudo apt-get install g++ git libcurl4-gnutls-dev libgmp3-dev libncurses5-dev libsigsegv-dev libssl-dev make openssl pkg-config python python3 python3-pip zlib1g-dev
179sudo -H pip3 install --upgrade pip
202sudo -H pip3 install --upgrade pip
180sudo -H pip3 install meson==0.29
203sudo -H pip3 install meson==0.29
@@ -185,12 +208,11 @@ sudo -H pip3 install meson==0.29
186git clone git://github.com/ninja-build/ninja.git
209git clone git://github.com/ninja-build/ninja.git
187pushd ninja
210pushd ninja
188− git checkout release
211+ git checkout release
189− ./configure.py --bootstrap
212+ ./configure.py --bootstrap
190− sudo cp ./ninja /usr/local/bin
213+ sudo cp ./ninja /usr/local/bin
194git clone https://github.com/urbit/urbit
216git clone https://github.com/urbit/urbit
196./scripts/bootstrap
218./scripts/bootstrap
@@ -209,15 +231,15 @@ sudo yum install autoconf automake cmake ctags gcc gcc-c++ git gmp-devel libcurl
210# meson requires python 3.5; RHEL supplies wrong version
232# meson requires python 3.5; RHEL supplies wrong version
211pushd /usr/src
233pushd /usr/src
212− sudo wget https://www.python.org/ftp/python/3.5.5/Python-3.5.5.tgz
234+ sudo wget https://www.python.org/ftp/python/3.5.5/Python-3.5.5.tgz
213− sudo tar xzf Python-3.5.5.tgz
235+ sudo tar xzf Python-3.5.5.tgz
214− cd Python-3.5.5
236+ cd Python-3.5.5
215− sudo ./configure --enable--optimizations
237+ sudo ./configure --enable--optimizations
216− sudo make altinstall
238+ sudo make altinstall
217− which python3.5
239+ which python3.5
218− cd /usr/local/bin
240+ cd /usr/local/bin
219− sudo ln -s python3.5 python3
241+ sudo ln -s python3.5 python3
220− hash python3
242+ hash python3
223curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py
245curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py
@@ -245,7 +267,7 @@ urbit
247sudo pacman -Syu
269sudo pacman -Syu
248−sudo pacman -S autoconf automake cmake curl gcc git gmp libsigsegv libtool ncurses ninja openssl python ragel re2c
270+sudo pacman -S curl gcc git gmp libsigsegv ncurses ninja openssl python
249curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py
271curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py
250sudo python3 get-pip.py
272sudo python3 get-pip.py
251git clone https://github.com/urbit/urbit
273git clone https://github.com/urbit/urbit
@@ -256,15 +278,73 @@ sudo ninja -C ./build/ meson-install
287+sudo pkg install curl gcc git gmake gmp libsigsegv python python3 ncurses openssl gmp
288+curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py
289+sudo python3 get-pip.py
290+sudo -H pip install --upgrade pip
291+sudo -H pip install meson
292+sudo pkg install ninja
293+git clone https://github.com/urbit/urbit
295+sh ./scripts/bootstrap
297+sudo ninja -C ./build/ meson-install
301+##### Amazon Web Services
307+sudo yum install gcc gcc-c++ git gmp-devel libcurl-devel libsigsegv-devel ncurses-devel openssl openssl-devel pkgconfig python2 python3 python3-pip wget git
308+sudo env "PATH=$PATH" pip3 install --upgrade pip
309+sudo env "PATH=$PATH" pip3 install meson
315+wget http://dl.fedoraproject.org/pub/fedora/linux/releases/25/Everything/x86_64/os/Packages/l/libsigsegv-2.10-10.fc24.x86_64.rpm
316+wget http://dl.fedoraproject.org/pub/fedora/linux/releases/25/Everything/x86_64/os/Packages/l/libsigsegv-devel-2.10-10.fc24.x86_64.rpm
317+sudo yum localinstall libsigsegv-2.10-10.fc24.x86_64.rpm
318+sudo yum localinstall libsigsegv-devel-2.10-10.fc24.x86_64.rpm
320+git clone git://github.com/ninja-build/ninja.git
322+ git checkout release
323+ ./configure.py --bootstrap
324+ sudo cp ./ninja /usr/local/bin
328+git clone https://github.com/urbit/urbit
332+sudo env "PATH=$PATH" ninja -C ./build/ install
337+### Using a Fake Ship
339+Perhaps you want to boot a ship without an identity. We recommend doing that
259−If you just want to use a fake ship for development purposes, you can now use
340+for development purposes, or if you just want to play around with an
341+un-networked ship without getting a point. You can now use
260the command of the scheme below to boot a fake `~zod`.
342the command of the scheme below to boot a fake `~zod`.
263urbit -F zod
345urbit -F zod
266−You can substitute any valid galaxy-, star-, or planet-name for `zod`.
268If you want to get on the Arvo network with your point, then continue to the
348If you want to get on the Arvo network with your point, then continue to the
269next section.
349next section.
@@ -304,15 +384,14 @@ keyfile:
304urbit -w ~sample-planet -k path/to/my-planet.key
384urbit -w ~sample-planet -k path/to/my-planet.key
307−if you'd prefer to copy your key in you can run
387+Or, if you'd prefer to copy your key in, you can run:
310urbit -w ~sample-planet -G rAnDoMkEy
390urbit -w ~sample-planet -G rAnDoMkEy
314−This will create a directory called `sample-planet/` and begin building your
393+Either command will create a directory called `sample-planet/` and begin
315−ship. It may take a few minutes.
394+building your ship. It may take a few minutes.
317When your ship is finished booting, you will see the `~sample-planet:dojo>`
396When your ship is finished booting, you will see the `~sample-planet:dojo>`
318prompt. At that point, you should permanently erase your keyfile from your
397prompt. At that point, you should permanently erase your keyfile from your