هذا هو الأمر ltsinfo الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
ltsinfo - عرض المعلومات الأساسية حول LTS
موجز
ltsinfo [OPTION] ... [ملف]
الوصف
اطبع معلومات حول نظام الانتقال المسمى (LTS) في INFILE. إذا لم يكن INFILE كذلك
الموردة، يتم استخدام stdin.
يتم تحديد تنسيق INFILE من خلال محتوياته. يمكن استخدام الخيار --in للقوة
تنسيق INFILE. التنسيقات المدعومة هي:
"تلقائي" لتنسيق Aldebaran (CADP) ،
"نقطة" لتنسيق GraphViz (لم يعد مدعومًا كتنسيق إدخال) ،
"fsm" لتنسيق آلة الحالة المحدودة ، أو
"lts" للتنسيق mCRL2 LTS
OPTIONS
OPTION يمكن أن يكون أيًا مما يلي:
-iFORMAT, --في=FORMAT
استخدم FORMAT كتنسيق الإدخال
- توقيت[=FILE]
إلحاق قياسات التوقيت بالملف. تتم كتابة القياسات لخطأ معياري إذا
لم يتم توفير FILE
الخيارات القياسية:
-q, --هادئ
لا تعرض رسائل تحذير
-v, - الإسراف
عرض رسائل وسيطة قصيرة
-d, --Debug
عرض رسائل وسيطة مفصلة
--تسجيل مستوى=الدور
عرض رسائل وسيطة تصل إلى المستوى وتشمل
-h, --مساعدة
عرض معلومات المساعدة
--الإصدار
عرض معلومات الإصدار
استخدم ltsinfo عبر الإنترنت باستخدام خدمات onworks.net
