Section 1: user commands and tools
NAME prsync — parallel process kill program SYNOPSIS prsync [-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 DESCRIPTION prsync is a program for copying files in parallel to a number of hosts. It provides features such as passing…
NAME prrt-navigator-demo – Mobile robot navigation simulator SYNOPSIS prrt-navigator-demo DESCRIPTION prrt-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. BUGS Please report bugs…
NAME ProZilla – a download accelerator for GNU/Linux SYNTAX proz [OPTIONS] <URL> DESCRIPTION ProZilla 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…
NAME proxytrack – proxy to serve content archived by httrack website copier SYNOPSIS proxytrack proxy_address:proxy_port icp_address:icp_port [ httrack_cache_filename_1 [ httrack_cache_filename_2 .. ] ] DESCRIPTION proxytrack this program allows you to create a proxy to deliver content already archived by httrack(1) , a website copier. EXAMPLES proxytrack proxy:8080 localhost:3130 /home/archives/example.com/hts-cache/new.zip will launch the proxytrack proxy, listening…
NAME proxy – Display the proxy server that should be used to reach a given a network resource SYNOPSIS proxy DESCRIPTION Display 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. EXAMPLE echo http://www.example.com/ | proxy http://webcache:3128 direct://…
NAME prover9 – resolution/paramodulation theorem prover SYNOPSIS prover9 [options] < input-file > output-file prover9 [options] -f input-file > output-file DESCRIPTION This 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…
NAME prooftrans – tool for transforming Prover9 proofs SYNOPSIS prooftrans [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] DESCRIPTION This manual page documents briefly the prooftrans command. prooftrans can extract proofs from prover9(1) output files and transform…
NAME isofilter – removes isomorphic structures from mace4(1) models SYNOPSIS isofilter [options] < input-file > output-file isofilter0 [options] < input-file > output-file isofilter2 [options] < input-file > output-file DESCRIPTION This 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…
NAME isofilter – removes isomorphic structures from mace4(1) models SYNOPSIS isofilter [options] < input-file > output-file isofilter0 [options] < input-file > output-file isofilter2 [options] < input-file > output-file DESCRIPTION This 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…
NAME isofilter – removes isomorphic structures from mace4(1) models SYNOPSIS isofilter [options] < input-file > output-file isofilter0 [options] < input-file > output-file isofilter2 [options] < input-file > output-file DESCRIPTION This 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…
NAME interpformat – tool for transforming mace4(1) models SYNOPSIS interpformat [options] <transformation> -f input-file > output-file interpformat [options] <transformation> < input-file > output-file DESCRIPTION The models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat. TRANSFORMATIONS The transformations are listed here. standard one line per operation standard2 standard, with…
NAME prove – Run tests through a TAP harness. USAGE prove[options][files or directories] OPTIONS Boolean 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…
NAME 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…] DESCRIPTION protoize is an optional part of GCC. You can use it to add prototypes to…
NAME 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 –version DESCRIPTION protoc 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…
NAME protoc-gen-go – Go compiler output filter for the protocol buffer compiler SYNOPSIS protoc –plugin=protoc-gen-go=/usr/bin/protoc-gen-go –go_out=gocode input.proto protoc –go_out=gocode input.proto DESCRIPTION protoc-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)…
NAME prosodyctl – Manage a Prosody XMPP server SYNOPSIS prosodyctl command [–help] DESCRIPTION prosodyctl is the control tool for the Prosody XMPP server. It may be used to control the server daemon and manage users. prosodyctl needs to be executed with sufficient privileges to perform its commands. This typically means executing prosodyctl as the root…
NAME propwatch – a tool to monitor X11 properties SYNOPSIS propwatch [ options ] property-name … DESCRIPTION propwatch is a tool to monitor window properties of root and application windows. Nice for debugging property-based IPC of X11 programs. OPTIONS propwatch uses the Athena Widgets and accepts the usual toolkit options like -display and -geometry. Additional…
NAME prop2po – Convert Java/Mozilla .properties files to Gettext PO localization files. SYNOPSIS prop2po [–version] [-h|–help] [–manpage] [–progress PROGRESS] [–errorlevel ERRORLEVEL] [-i|–input] INPUT [-x|–exclude EXCLUDE] [-o|–output] OUTPUT [-t|–template TEMPLATE] [-S|–timestamp] [-P|–pot] [–personality TYPE] [–encoding ENCODING] [–duplicates DUPLICATESTYLE] DESCRIPTION See: http://docs.translatehouse.org/projects/translate-toolkit/en/latest/commands/prop2po.html for examples and usage instructions. OPTIONS –version show program’s version number and exit -h/–help show…
NAME proofserv – PROOF (The Parallel ROOT Facility) DESCRIPTION Using PROOF (The Parallel ROOT Facility) one can analyze trees in parallel on a cluster of computers. The PROOF system consists of the proofd(1) from-end program which is started via inetd(8). proofd takes care of user authentication and overlays itself then with the desired version of…
NAME proofgeneral – manual page for proofgeneral () SYNOPSIS proofgeneral [OPTION] [FILE]… DESCRIPTION Launches Emacs Proof General, editing the proof script FILE. OPTIONS –emacs startup Proof General with emacs (GNU Emacs) –xemacs startup Proof General with xemacs (XEmacs) –emacsbin <EMACS> startup Proof General with emacs binary <EMACS> -h, –help show this help and exit -v,…