From 924343aa8d238f22f04c52e91d1ec2e295efaf09 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Tue, 02 Sep 2014 12:14:53 -0400 Subject: dev/prokit/*: New manual pages --- (limited to 'dev/prokit/prokit-shell.8.mdwn') diff --git a/dev/prokit/prokit-shell.8.mdwn b/dev/prokit/prokit-shell.8.mdwn new file mode 100644 index 0000000..f454a0f --- /dev/null +++ b/dev/prokit/prokit-shell.8.mdwn @@ -0,0 +1,102 @@ +[[!meta title="prokit-shell"]] + +NAME
+SYNOPSIS
+DESCRIPTION
+EXAMPLES
+COPYRIGHT
+ +
+ + +

NAME + +

+ + +

prokit-shell +− Run a shell in an isolated environment

+ +

SYNOPSIS + +

+ + +

prokit +shell root-dir [command [argument +...]]

+ +

DESCRIPTION + +

+ + +

prokit +shell starts a shell in an isolated file system +environment (using chroot(8)) with basic file systems +mounted.

+ +

If a +command is given (with optional arguments), it +is executed in a non-interactive shell.

+ +

EXAMPLES + +

+ + + + + + + + + + + + + +
+ + +

+ + +

# prokit shell $root echo Hello +world

+ + +

+ + +

# prokit shell $root ’opkg install +build-essential-$(cat /etc/proteanos_arch)’

+ +

COPYRIGHT + +

+ + +

Copyright (C) +2014 Patrick "P. J." McDermott

+ +

The ProteanOS +Development Kit is free software: you can redistribute it +and/or modify it under the terms of the GNU General Public +License as published by the Free Software Foundation, either +version 3 of the License, or (at your option) any later +version.

+ +

The ProteanOS +Development Kit is distributed in the hope that it will be +useful, but WITHOUT ANY WARRANTY; without even the implied +warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR +PURPOSE. See the GNU General Public License for more +details.

+ +

You should have +received a copy of the GNU General Public License along with +the ProteanOS Development Kit. If not, see +<http://www.gnu.org/licenses/>.

+ -- cgit v0.9.1