هذا هو الأمر lpspp الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
lpspp - طباعة جميلة LPS
موجز
lpspp [OPTION] ... [ملف [النفقة]]
الوصف
اطبع mCRL2 LPS في ملف INFILE إلى OUTFILE بتنسيق يمكن للبشر قراءته. إذا لم يكن OUTFILE
الحاضر ، يتم استخدام stdout. إذا لم يكن INFILE موجودًا ، فسيتم استخدام stdin.
OPTIONS
OPTION يمكن أن يكون أيًا مما يلي:
-fFORMAT, --صيغة=FORMAT
اطبع LPS بالشكل المحدد: "افتراضي" لمواصفات العملية
(افتراضيًا) "داخلي" لتمثيل ATerm نصي للتنسيق الداخلي
-n, - print-Summand_numbers
اطبع الأرقام أمام الملخصات
- توقيت[=FILE]
إلحاق قياسات التوقيت بالملف. تتم كتابة القياسات لخطأ معياري إذا
لم يتم توفير FILE
الخيارات القياسية:
-q, --هادئ
لا تعرض رسائل تحذير
-v, - الإسراف
عرض رسائل وسيطة قصيرة
-d, --Debug
عرض رسائل وسيطة مفصلة
--تسجيل مستوى=الدور
عرض رسائل وسيطة تصل إلى المستوى وتشمل
-h, --مساعدة
عرض معلومات المساعدة
--الإصدار
عرض معلومات الإصدار
استخدم lpspp عبر الإنترنت باستخدام خدمات onworks.net
