I think it could be replaced with command instructions such as `sudo -i' (or the one with long option instead, `sudo --login') or the related `su'-only counterpart (which I forgot how to use because I can't do so).
Perhaps something like this (I don't know if this is correct): --8<---------------cut here---------------start------------->8--- sudo -i || su ... Do stuff as real/full root. exit ... Do stuff as normal user. --8<---------------cut here---------------end--------------->8--- 2017-11-30T10:59:09+0100 Ludovic Courtès wrote: > Mark H Weaver <m...@netris.org> skribis: > > > [...] > > > Related to that, someone on IRC suggested removing the “#” from the > shell snippets at > <https://www.gnu.org/software/guix/manual/html_node/Binary-Installation.html>, > for easier copy/pasting. > > I think I’ll go ahead and do that if nobody objects. > > Thanks, > Ludo’.
