The Linux Manuals (man pages) document is an important part of Linux documents. Linux Manuals are organized as several sections. Each section has a group of commands for a specific area in Linux usage, administration or development.
prwd – universal shell prompt Synopsisprwd [-aVh Description] prwd is a replacement for your shell’s PS1, it provides a simple templating language with commands to customize your prompt. prwd keeps your prompt consistent between shells, provides fast template commands to display contextual information such as hostname, path, current git/hg branch without an inordinate amount of…
pruneemptydirs – Detects stale source directories in a CVS tree Synopsis pruneemptydirs [-f]Descriptionpruneemptydirs is used to clean up a local CVS tree. It detects directories containing remnants of old stuff which has been removed from the CVS. Such stale directories often break compilation. The current directory and all directories beneath it will be examined. Note…
prune – Prune directed graphs Synopsisprune [ -n node ] [ -N attrspec ] [ -v ] [ –(h|?) ] [ files … ] Descriptionprune reads directed graphs in the same format used by dot(1) and removes subgraphs rooted at nodes specified on the command line via options. These nodes themselves will not be removed,…
prun – run program Synopsisprun [-d LEVEL] [-p DEVNAME] [-h] PROGRAM [–] [PARAMETERS] Descriptionprun starts a program on a device connected through SynCE. Options-d LEVEL Set debug log level: 0 – No logging (default) 1 – Errors only 2 – Errors and warnings 3 – Everything -p DEVNAME Use the device with the given name,…
prtstat – print statistics of a process Synopsisprtstat [-r|–raw] pid prtstat -V|–version Descriptionprtstat prints the statistics of the specified process. This information comes from the /proc/pid/stat file. Options-r, –raw Print the information in raw format. -V, –version Show the version information for prtstat.Files/proc/pid/stat source of the information prtstat uses.
prsync — parallel process kill program Synopsisprsync [-vAraz] [-h hosts_file] [-H [user@]host[:port]] [-l user] [-p par] [-o outdir] [-e errdir] [-t timeout] [-O options] [-x args] [-X arg] [-S args] local remote Descriptionprsync is a program for copying files in parallel to a number of hosts. It provides features such as passing a password to…
prrt-navigator-demo – Mobile robot navigation simulator Synopsisprrt-navigator-demo Descriptionprrt-navigator-demo is a GUI program that allows experimenting with a new robot navigation algorithm based on Rapidly-exploring Random Tree (RTT) exploration using Parameterized Trajectory Generators (PTGs). Refer to the source code and related papers for more information about the method itself. BugsPlease report bugs at http://sourceforge.net/tracker/?group_id=205280&atid=993006 See AlsoThe…
ProZilla – a download accelerator for GNU/Linux Syntaxproz [OPTIONS] <URL> DescriptionProZilla is a download program that makes multiple connections and downloads a file in multiple parts from different servers simultaneously, thus enhancing the download speed and downloading the file faster than a download with a single connection. ProZilla is able to do ftp searches for…
proxytrack – proxy to serve content archived by httrack website copier Synopsisproxytrack proxy_address:proxy_port icp_address:icp_port [ httrack_cache_filename_1 [ httrack_cache_filename_2 .. ] ] Descriptionproxytrack this program allows you to create a proxy to deliver content already archived by httrack(1) , a website copier. Examplesproxytrack proxy:8080 localhost:3130 /home/archives/example.com/hts-cache/new.zip will launch the proxytrack proxy, listening to :8080, to deliver…
proxy – Display the proxy server that should be used to reach a given a network resource Synopsisproxy DescriptionDisplay the proxy server that should be used to reach a given a network resource. libproxy is a library that provides automatic proxy configuration management using different backends. Exampleecho http://www.example.com/ | proxy http://webcache:3128 direct:// AuthorThis manual page was…
prover9 – resolution/paramodulation theorem prover Synopsisprover9 [options] < input-file > output-file prover9 [options] -f input-file > output-file DescriptionThis manual page documents briefly the prover9 command. prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the otter(1) prover. prover9 uses the inference techniques of ordered resolution and paramodulation with…
prooftrans – tool for transforming Prover9 proofs Synopsisprooftrans [parents_only] [expand] [renumber] [striplabels] [-f file] prooftrans xml [expand] [renumber] [striplabels] [-f file] prooftrans ivy [renumber] [-f file] prooftrans hints [-label label] [expand] [striplabels] [-f file] DescriptionThis manual page documents briefly the prooftrans command. prooftrans can extract proofs from prover9(1) output files and transform them in various…
isofilter – removes isomorphic structures from mace4(1) models Synopsisisofilter [options] < input-file > output-file isofilter0 [options] < input-file > output-file isofilter2 [options] < input-file > output-file DescriptionThis manual page documents briefly the isofilter, isofilter0 and isofilter2 commands. If mace4(1) produces more than one structure, some of them are very likely to be isomorphic to others….
isofilter – removes isomorphic structures from mace4(1) models Synopsisisofilter [options] < input-file > output-file isofilter0 [options] < input-file > output-file isofilter2 [options] < input-file > output-file DescriptionThis manual page documents briefly the isofilter, isofilter0 and isofilter2 commands. If mace4(1) produces more than one structure, some of them are very likely to be isomorphic to others….
isofilter – removes isomorphic structures from mace4(1) models Synopsisisofilter [options] < input-file > output-file isofilter0 [options] < input-file > output-file isofilter2 [options] < input-file > output-file DescriptionThis manual page documents briefly the isofilter, isofilter0 and isofilter2 commands. If mace4(1) produces more than one structure, some of them are very likely to be isomorphic to others….
interpformat – tool for transforming mace4(1) models Synopsisinterpformat [options] <transformation> -f input-file > output-file interpformat [options] <transformation> < input-file > output-file DescriptionThe models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat. TransformationsThe transformations are listed here. standard one line per operation standard2 standard, with binary operations in a…
prove – Run tests through a TAP harness. Usage prove [options] [files or directories]OptionsBoolean options: -v, –verbose Print all test lines. -l, –lib Add ‘lib’ to the path for your tests (-Ilib). -b, –blib Add ‘blib/lib’ and ‘blib/arch’ to the path for your tests -s, –shuffle Run the tests in random order. -c, –color Colored…
protoize, unprotoize – automatically add or remove function prototypes Synopsis protoize [-CfgklNnqv] [-B DIRECTORY] [-c COMPILATION-OPTIONS] [-d DIRECTORY] [-i STRING] [-p PROGRAM] [-x FILE] [FILE…] unprotoize [-fkNnqv] [-c COMPILATION-OPTIONS] [-d DIRECTORY] [-i STRING] [-p PROGRAM] [-x FILE] [FILE…]Descriptionprotoize is an optional part of GCC. You can use it to add prototypes to a program, thus…
protoc – compile protocol buffer description files Synopsis protoc [–cpp_out=OUT_DIR] [–java_out=OUT_DIR] [–python_out=OUT_DIR] [-IPATH | –proto_path=PATH] PROTO_FILE protoc {-h | –help} protoc –versionDescriptionprotoc is a compiler for protocol buffers definitions files. It can can generate C++, Java and Python source code for the classes defined in PROTO_FILE. Options-IPATH, –proto_path=PATH Specify the directory in which to search for imports….
protoc-gen-go – Go compiler output filter for the protocol buffer compiler Synopsisprotoc –plugin=protoc-gen-go=/usr/bin/protoc-gen-go –go_out=gocode input.proto protoc –go_out=gocode input.protoDescriptionprotoc-gen-go is a filter for the protoc(1) protocol buffer compiler. It takes the protocol buffer format from protoc(1) as input and produces Go code as output which can then be used to encode (marshal) and decode (unmarshal) data…