Dies ist der Befehl lpspp, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
lpspp – hübsches Drucken eines LPS
ZUSAMMENFASSUNG
lpspp [zur Auswahl]... [IM ORDNER [AUSGABE]]
BESCHREIBUNG
Drucken Sie die mCRL2-LPS in INFILE bis OUTFILE in einem für Menschen lesbaren Format aus. Wenn OUTFILE nicht vorhanden ist
vorhanden, wird stdout verwendet. Wenn INFILE nicht vorhanden ist, wird stdin verwendet.
OPTIONAL
zur Auswahl kann einer der folgenden sein:
-fFORMAT, --Format=FORMAT
Drucken Sie das LPS im angegebenen FORMAT: „Standard“ für eine Prozessspezifikation
(Standard) „internal“ für eine textuelle ATerm-Darstellung des internen Formats
-n, --print-summand_numbers
Zahlen vor Summanden ausgeben
--Zeiten[=FILE]
Zeitmesswerte an FILE anhängen. Messungen werden in Standardfehler geschrieben, wenn
es wird keine DATEI bereitgestellt
Standardoptionen:
-q, --ruhig
keine Warnmeldungen anzeigen
-v, - ausführlich
kurze Zwischennachrichten anzeigen
-d, --debuggen
detaillierte Zwischenmeldungen anzeigen
-Log-Ebene=LEVEL
Zwischenmeldungen bis einschließlich Ebene anzeigen
-h, --help
Hilfeinformationen anzeigen
--Version
Versionsinformationen anzeigen
Verwenden Sie lpspp online über die Dienste von onworks.net
