Section 1: user commands and tools
NAME picomus – Minimal Unsatisfiable Core (MUS) generator SYNOPSIS picomus [OPTION]… [INPUT [OUTPUT]] DESCRIPTION PicoMUS is a satisfiability (SAT) solver that generates a minimal unsatisfiable core, using the PicoSAT library. OPTIONS -h print this command line option summary and exit -v enable verbose output If no input filename is given, or the input filename is…
NAME nano – Nano’s ANOther editor, inspired by Pico SYNOPSIS nano [options] [[+line[,column]] file]… nano [options] [[+[crCR](/|?)string] file]… DESCRIPTION nano is a small and friendly editor. It copies the look and feel of Pico, but is free software, and implements several features that Pico lacks, such as: opening multiple files, scrolling per line, undo/redo, syntax…
NAME pick – search for messages by content SYNOPSIS pick [+folder] [msgs] [-and …] [-or …] [-not …] [-lbrace … -rbrace] [–component pattern] [-cc pattern] [-date pattern] [-from pattern] [-search pattern] [-subject pattern] [-to pattern] [-after date] [-before date] [-datefield field] [-sequence name …] [-nosequence] [-public | -nopublic] [-zero | -nozero] [-list | -nolist] [-version]…
NAME pic2tpic – Convert pic files to tpic format SYNOPSIS pic2tpic [ files ] DESCRIPTION Pic2tpic reads the pic files given on the command line (or stdin if none are given) and writes their tpic equivalent to stdout. SEE ALSO tpic(1), fig2dev(1), transfig(1). COPYRIGHT Copyright (c) 1985 Supoj Sutantavibul Copyright (c) 1991 Micah Beck THE…
NAME pic2graph – convert a PIC diagram into a cropped image SYNOPSIS [ -unsafe ] [ -format output-format ] [ -eqn delimiters ] [convert-arguments] –help -v –version DESCRIPTION pic2graph reads a pic(1) program from the standard input and writes an image file, by default in Portable Network Graphics (PNG) format, to the standard output. It…
NAME pic – compile pictures for troff or TeX SYNOPSIS [ -nvCSU ] [file …] -t [ -cvzCSU ] [file …] DESCRIPTION This manual page describes the GNU version of pic, which is part of the groff document formatting system. pic compiles descriptions of pictures embedded within troff or TeX input files into commands that…
NAME pia – play media files SYNOPSIS pia [ options ] movie DESCRIPTION pia is a small X11 tool which plays movie files. OPTIONS pia understands the usual toolkit options (-geometry + friends). Additional options are: -h display help text -v be verbose. -debug enable debug messages. -dsp <dev> Use OSS device <dev> for sound….
NAME pi3topbm – convert an Atari Degas .pi3 file into a portable bitmap SYNOPSIS pi3topbm [pi3file] DESCRIPTION Reads an Atari Degas .pi3 file as input. Produces a portable bitmap as output. SEE ALSO pbmtopi3(1), pbm(5), pi1toppm(1), ppmtopi1(1) AUTHOR Copyright (C) 1988 by David Beckemeyer (bdt!david) and Diomidis D. Spinellis. Index
NAME pi1toppm – convert an Atari Degas .pi1 into a portable pixmap SYNOPSIS pi1toppm [pi1file] DESCRIPTION Reads an Atari Degas .pi1 file as input. Produces a portable pixmap as output. SEE ALSO ppmtopi1(1), ppm(5), pi3topbm(1), pbmtopi3(1) AUTHOR Copyright (C) 1991 by Steve Belczyk (seb3 [at] gte.com) and Jef Poskanzer. Index
NAME pdftex – PDF output from TeX SYNOPSIS pdftex [options] [&format] [file|\commands] DESCRIPTION Run the pdfTeX typesetter on file, usually creating file.pdf. If the file argument has no extension, ".tex" will be appended to it. Instead of a filename, a set of pdfTeX commands can be given, the first of which must start with a…
NAME pdftex – PDF output from TeX SYNOPSIS pdftex [options] [&format] [file|\commands] DESCRIPTION Run the pdfTeX typesetter on file, usually creating file.pdf. If the file argument has no extension, ".tex" will be appended to it. Instead of a filename, a set of pdfTeX commands can be given, the first of which must start with a…
NAME phpreflect – Reverse-engineer classes, interfaces, functions, constants, namespaces and more SYNOPSIS phpreflect [options] command [arguments] DESCRIPTION The phpreflect(1) command parse any data source, to find out elements, such as classes, interfaces, functions, constants, namespaces. OPTIONS -h, –help Display this help message. -q, –quiet Do not output any message. -v|vv|v, –verbose Increase the verbosity of…
NAME phpize – prepare a PHP extension for compiling SYNOPSIS phpize [options] DESCRIPTION phpize is a shell script to prepare PHP extension for compiling. OPTIONS –clean Remove all created files –help Prints usage information –version -v Prints API version information SEE ALSO php(1) VERSION INFORMATION This manpage describes php, version 5.4.16. COPYRIGHT Copyright © 1997-2010…
NAME phpcompatinfo – PHP library that parse any data source to find out the minimum version and extensions required for it to run. SYNOPSIS phpcompatinfo [options] command [arguments] DESCRIPTION The phpcompatinfo(1) command parse any data source, defined in a json configuration file, to find out elements, such as classes, interfaces, functions, constants, namespaces. OPTIONS -h,…
php – PHP Command Line Interface ‘CLI’ php-cgi – PHP Common Gateway Interface ‘CGI’ command Synopsis php [options] [ -f ] file [[–] args…] php [options] -r code [[–] args…] php [options] [-B begin_code] -R code [-E end_code] [[–] args…] php [options] [-B begin_code] -F file [-E end_code] [[–] args…] php [options] — [ args…]…
php – PHP Command Line Interface ‘CLI’ php-cgi – PHP Common Gateway Interface ‘CGI’ command Synopsis php [options] [ -f ] file [[–] args…] php [options] -r code [[–] args…] php [options] [-B begin_code] -R code [-E end_code] [[–] args…] php [options] [-B begin_code] -F file [-E end_code] [[–] args…] php [options] — [ args…]…
php – PHP Command Line Interface ‘CLI’ php-cgi – PHP Common Gateway Interface ‘CGI’ command Synopsis php [options] [ -f ] file [[–] args…] php [options] -r code [[–] args…] php [options] [-B begin_code] -R code [-E end_code] [[–] args…] php [options] [-B begin_code] -F file [-E end_code] [[–] args…] php [options] — [ args…]…
NAME php2po – Convert PHP localization files to Gettext PO localization files. SYNOPSIS php2po [–version] [-h|–help] [–manpage] [–progress PROGRESS] [–errorlevel ERRORLEVEL] [-i|–input] INPUT [-x|–exclude EXCLUDE] [-o|–output] OUTPUT [-t|–template TEMPLATE] [-S|–timestamp] [-P|–pot] [–duplicates DUPLICATESTYLE] DESCRIPTION See: http://docs.translatehouse.org/projects/translate-toolkit/en/latest/commands/php2po.html for examples and usage instructions. OPTIONS –version show program’s version number and exit -h/–help show this help message and…
NAME php – PHP Command Line Interface ‘CLI’ php-cgi – PHP Common Gateway Interface ‘CGI’ command SYNOPSIS php [options] [ -f ] file [[–] args…] php [options] -r code [[–] args…] php [options] [-B begin_code] -R code [-E end_code] [[–] args…] php [options] [-B begin_code] -F file [-E end_code] [[–] args…] php [options] — […
php – PHP Command Line Interface ‘CLI’ php-cgi – PHP Common Gateway Interface ‘CGI’ command Synopsis php [options] [ -f ] file [[–] args…] php [options] -r code [[–] args…] php [options] [-B begin_code] -R code [-E end_code] [[–] args…] php [options] [-B begin_code] -F file [-E end_code] [[–] args…] php [options] — [ args…]…