docs: update instructions to use v23-profile command
Change-Id: I374375b1f2d332c2457ef8973be38d6d745c1088
MultiPart: 1/2
diff --git a/installation.md b/installation.md
index f06eee3..bd20598 100644
--- a/installation.md
+++ b/installation.md
@@ -2,7 +2,7 @@
This document explains how to install Vanadium (including Syncbase).
-## System Requirements
+## System requirements
The instructions below assume that the following software packages are installed
and available in your `PATH`.
@@ -53,22 +53,26 @@
Syncbase and various demo apps have some additional prerequisites, including
Snappy, LevelDB, and Node.js.
-We recommend using the `jiri v23-profile` command to install all such prerequisites.
-This command uses `apt-get` on Linux and `brew` on OS X. Note, the `jiri` tool
-and its various plugins are located in `$JIRI_ROOT/devtools/bin`.
+We recommend using the `jiri v23-profile` command to install all such
+prerequisites. This command uses `apt-get` on Linux and `brew` on OS X. Note,
+the `jiri` tool and its various plugins are located in
+`$JIRI_ROOT/devtools/bin`.
jiri v23-profile install base
-The `jiri v23-profile install` command only writes to files under `JIRI_ROOT`, i.e. it will not write to system folders such as those under `/usr`.
-Installing the base profile installs syncbase and go, if nodejs is required then
-use:
+The `jiri v23-profile install` command only writes to files under `JIRI_ROOT`,
+i.e. it will not write to system folders such as those under `/usr`.
+
+The base profile includes Syncbase and Go. To install Node.js (needed for the
+[Todos demo app], among other things), run the following command:
jiri v23-profile install nodejs
-The `v23-profile` subcommand can be used to list available and installed profiles as follows:
+The `v23-profile` subcommand can be used to list installed and available
+profiles as follows:
- jiri v23-profile list --available
jiri v23-profile list
+ jiri v23-profile list --available
## Verifying installation
@@ -133,7 +137,7 @@
### Cross-compilation
-The jiri tool supports cross-compilation.
+The `jiri` tool supports cross-compilation.
# For cross-compilation use:
jiri v23-profile install --target=<arch>-<os> base
diff --git a/tutorials/syncbase-user-guide.md b/tutorials/syncbase-user-guide.md
index c73c9c9..aec3340 100644
--- a/tutorials/syncbase-user-guide.md
+++ b/tutorials/syncbase-user-guide.md
@@ -40,7 +40,6 @@
1. Follow the [installation instructions] to install prerequisites and fetch the
Vanadium repositories, which include Syncbase as well as the Todos demo app.
- Be sure to install the `syncbase` profile.
The instructions below assume you've set the `JIRI_ROOT` environment variable
and have added `$JIRI_ROOT/devtools/bin` to your `PATH`: