Linux Manuals

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…

prosodyctl – Manage a Prosody XMPP server Synopsisprosodyctl command [–help] Descriptionprosodyctl 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 user. If a…

propwatch – a tool to monitor X11 properties Synopsispropwatch [ options ] property-name … Descriptionpropwatch is a tool to monitor window properties of root and application windows. Nice for debugging property-based IPC of X11 programs. Optionspropwatch uses the Athena Widgets and accepts the usual toolkit options like -display and -geometry. Additional options are: -watch display…

prop2po – Convert Java/Mozilla .properties files to Gettext PO localization files. Synopsisprop2po [–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] DescriptionSee: 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 this help message and…

proofserv – PROOF (The Parallel ROOT Facility) DescriptionUsing 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 the proofserv(1)…

proofgeneral – manual page for proofgeneral () Synopsisproofgeneral [OPTION] [FILE]… DescriptionLaunches 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, –version output version information…

proofd – PROOF (The Parallel ROOT Facility) DescriptionUsing 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 the proofserv(1)…

prompter – prompting editor front-end for nmh Synopsis prompter [-erase chr] [-kill chr] [-prepend | -noprepend] [-rapid | -norapid] [-doteof | -nodoteof] file [-version] [-help]DescriptionPrompter is an editor front-end for nmh which allows rapid composition of messages. This program is not normally invoked directly by users but takes the place of an editor and acts…

Projections and spatial transformations in GRASS GISIntroductionA GRASS location is referenced with a single projection and coordinate system (or unreferenced as XY location). When creating a new location from an existing raster or vector map using the tools available from the startup screen or the map import commands, projection and coordinate system are defined. To…