235 lines · 7.8 KB · Text
RawDownload
= tiny: sh, broke, kill, rm: reduced command line interface to theInferno system  *tiny/sh* [ *-n* ] [ **-c**__command__ ] [ _file_ ] *tiny/broke* *tiny/kill* [ *-g* ] [ _pid ..._ ] [ _module ..._ ] *tiny/rm* [ _file_ ... ]  The _tiny_ commands are smaller, simpler versions of more capable butlarger Inferno commands. They are provided for use on devices where acertain level of functionality might be useful for configuration ormaintenance (or development), but device constraints are such as to makethe use of the normal, fleshier versions of the commands unattractive.For example, the Dis object files can be as much as 5 times smaller (orbetter) than the mainstream alternatives. They are also useful wheninitially porting the system. They live in the directory */dis/tiny*,but could be placed in the */dis* of a small device (eg, via _root_(3))· _Broke_ kills broken processes and prints their process IDs. _Kill_ terminates each process (for a numeric process ID _pid_) orprocess running a given _module_ (for a non-numeric module name), bywriting a message to the corresponding process's control file in _prog_(3). The*-g* option causes _kill_ to write a message instead, killing all processes in the given process's processgroup (see _sys-pctl_(2)). Processes running a _module_ are identifiedby their file, and the process ID of each such process is printed on standardoutput. _Rm_ removes files and empty directories, subject to the permissionrules given in _rm_(1). There are no options. _Sh_ provides a simple user level interface (a shell) to the Infernosystem. (It was once the only Inferno shell.) It reads input lines,identifies a command and arguments for that command, and arranges forexecution of the corresponding Inferno module. There are features thatallow input/output redirection, creating pipelines, and performing tasksin background. It is nevertheless a rudimentary shell designed forstarting and debugging applications. It is not intended to serve as ageneral-purpose programmable shell. If a file is named as a command line argument, that file is the sourceof input; otherwise, standard input is read. Options are: *-n*::  Don't fork the namespace. By default, _sh_ forks the namespace, making  subsequent namespace changes invisible to the previous namespace  group.**-c**__command__::  Execute the single _command_ rather than prompting to read commands  from the standard input. == Command line syntax Each line consists of one or more command pipelines each separated byeither an ampersand (&) which indicates that the pipeline should be runin background or a semi-colon (;). The semi-colon need not be providedfor the last command pipeline on a line. Command pipelines are not allowed to span lines. Each command pipeline consists of one or more commands separated by avertical bar (*|*) character. The standard output of one command is madethe standard input of the next command to the right. Redirection of input/output to pipes takes precedence over redirectionfrom/to files. In the limit case, a command pipeline consists of a single command withno pipes. A command consists of one or more fields. The first (leftmost) field isthe command field. It is used to determined the executable file to beloaded and run; see below. The remaining fields are parsed and becomecommand line arguments that are passed to the module's init function asa list of strings. Any input following a *#* on a line is discarded as comment. == Finding the module The command field is converted to the pathname of the Dis file of somemodule. That field can be either an absolute pathname, starting from*/*, or a relative pathname from the current directory. As a convenience, the user need not specify the *.dis* suffix to thefilename. If missing, it will be added by the shell. If the load fails there is, in general, a second attempt to load themodule by resolving the pathname relative to the */dis* directory (orany directory bound to the */dis* directory in the current namespace). There are two exceptions to this second attempt. The second load attemptis not performed if the command field provides an absolute pathname or arelative pathname starting with dot-slash (*./*). Such explicit namingis taken to mean that the user will accept no substitutions. The shell requires that the Dis file implement a module with aninterface equivalent to the module as specified in */module/sh.m* (see _command_(2)). Otherwise, thenamed file will not load. In lieu of a path mechanism, a process can create a union directory at*/dis*. == File name expansion Command line arguments (including the command field itself) are expandedby the shell according to the regular expression rules described in_filepat_(2). This expansion is not applied to the filenames used for input/outputredirection. == Quoting The shell special characters can be stripped of their meaning andtreated as literals by enclosing them in single quotes. Inside a quotedstring, the special meaning of the single quote can be removed byimmediately following it with another single quote. Command lines withun-terminated quoted strings are rejected and cause an error message. For example: ....$ echo '''''$ echo 'don''t'don't$ echo 'hello' 'worldsh: unmatched quote$ echo 'a'bab$ echo a'b'ab$.... == Shell special characters The following characters are treated specially by _sh_ and must bequoted to be taken literally: blank::  white space, except in a quoted stringtab::  white space, except in a quoted stringnewline::  command line terminator*#*::  Start of comment*'*::  Start of/end of quoted string (single quote)*|*::  Interface between commands in a command pipeline.*&*::  Terminator for command pipelines to be run in background.*;*::  Terminator for command pipelines to be run synchronously by the shell.*>*::  Output re-direction: create file if it does not exist; truncate file  if it exists*>>*::  Output re-direction: create file if it does not exist; append to file  if it exists*<*::  Input re-direction. == Prompt The shell uses a prompt consisting of the system name as provided by*/dev/sysname* suffixed by *$*. == Input/output re-directions By default, standard input is the console keyboard and standard outputthe console display. Each command can specify that standard input betaken from a file and standard output be written to a file. Attempts to redirect standard input to a non-existing file will fail.Redirecting standard output to a non-existing file will cause that fileto be created. If the destination file already exists, it will beoverwritten. Any previous contents are lost. In cases of competing re-direction mechanisms (re-direct to a file andto a pipe), the pipe has precedence. == Background tasks In general, the shell waits for the termination of a command pipelinebefore continuing execution, for example, prompting the user for thenext command. However, if the command pipeline is terminated by anampersand (*&*) character, the wait stage is skipped and the shellcontinues execution immediately, in this case the command pipelineexecutes as a background task. == Name space concerns When started, the shell creates an independent file name space that is acopy of the file name space of the shell's creator. Command pipelines started by the shell are executed by threads thatshare the shell's name space. If those commands modify the file namespace (and they have not mimicked the shell in creating their ownindependent name space), those modifications will be perceived by theshell when it continues execution. See _bind_(1) and _sys-pctl_(2). == FILES **/prog/**__n__*/wait* == SOURCE */appl/tiny/broke.b* +*/appl/tiny/kill.b* +*/appl/tiny/rm.b* +*/appl/tiny/sh.b* == SEE ALSO _bind_(1), _sh_(1), _filepat_(2), _command_(2), _sys-pctl_(2),_cons_(3), _pipe_(3), _prog_(3)

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t