dist/tools minor change to |install description
commita0bc4c158532167a4cbd5626841ec4f65ab4e439
authortinnus-napbus <admin@tinnus-napbus.xyz>
dateTue 5 Oct 2021, 22:44 (5 years ago)
parentaa828cf
content/docs/userspace/dist/tools.md+1−1
@@ -145,7 +145,7 @@ desk
145145
146146Install a desk, starting its agents and listening for updates.
147147
148−If it's a remote desk we don't already have, it will be fetched. The agents started will be those specified in the `desk.bill` manifest. If it has a docket file, its tile will be added to the homescreen and its glob fetched.
148+If it's a remote desk we don't already have, it will be fetched. The agents started will be those specified in the `desk.bill` manifest. If it has a docket file, its tile will be added to the homescreen and its glob fetched. If we already have the desk, the source for updates will be switched to the ship specified.
149149
150150It takes a `ship` and `desk` as its mandatory arguments. The desk may be installed with a different name specified in the optional `local` argument.
151151