diff options
Diffstat (limited to 'man/prokit-shell.1in')
| -rw-r--r-- | man/prokit-shell.1in | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/man/prokit-shell.1in b/man/prokit-shell.1in deleted file mode 100644 index 956e88b..0000000 --- a/man/prokit-shell.1in +++ /dev/null @@ -1,39 +0,0 @@ -.TH prokit-shell 1 \ -"2014-09-01" "@PACKAGE_NAME@ @PACKAGE_VERSION@" "@MANUAL@" - -.SH NAME -prokit-shell \- Run a shell in an isolated environment - -.SH SYNOPSIS -\fBprokit shell\fP \fIroot-dir\fP [\fIcommand\fP [\fIargument\fP ...]] - -.SH DESCRIPTION -\fBprokit shell\fP starts a shell in an isolated file system environment (using -\fBchroot\fP(8)) with basic file systems mounted. -.P -If a \fIcommand\fP is given (with optional \fIargument\fPs), it is executed in a -non-interactive shell. - -.SH EXAMPLES - -.IP \[bu] -# prokit shell $root echo Hello world -.IP \[bu] -# prokit shell $root 'opkg install build-essential-$(cat /etc/proteanos_arch)' - -.SH COPYRIGHT -Copyright (C) 2014 Patrick "P. J." McDermott -.P -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. -.P -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. -.P -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/>. |