هذه هي حزمة الأوامر التي يمكن تشغيلها في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
PackUP - حل مشكلة إمكانية ترقية PACKage
موجز
حزم [خيارات] اسم_ملف_الادخال [اسم_ملف_الإخراج]
الوصف
يعد packup بمثابة حل لمشكلة إمكانية ترقية الحزمة المحددة في CUDF [TZ09]. هو - هي
يستدعي بشكل متكرر حلاً منطقيًا زائفًا للتحسين من أجل حل المشكلة.
بشكل افتراضي، يتم استخدام minisat+ [ES06] لهذا الغرض ولكن يمكن استخدام حل مختلف
تحديد خيار سطر الأوامر ذي الصلة.
إذا كان input_file_name هو '-'، فستتم قراءة الإدخال من الإدخال القياسي. إذا كان ملفput_file_name
تم حذفه، ويتم إنتاج الإخراج إلى الإخراج القياسي.
OPTIONS
-t استخدام المعيار العصري
-p استخدام معيار بجنون العظمة
-u cs استخدام معيار المستخدم cs. المعيار هو مزيج معجمي من الأداة المساعدة
تمت إزالة الوظائف، وnotuptodate، وunmet_recommends، والجديدة، والمتغيرة. كل واحد منهم
مع قطبية ("+" لوظيفة لتعظيمها، "-" لوظيفة لتقليلها).
يتم سرد الوظائف بترتيب تنازلي للأولوية، ويتم فصلها بواسطة
رمز "،". على سبيل المثال، يمكن كتابة معيار جنون العظمة كـ
-إزالة،-تغيير. لمزيد من التفاصيل انظر: http://www.mancoosi.org/misc-
مباشر/20101126/معايير/
--الحل الخارجي
أمر للحل الافتراضي الخارجي "minisat+ -ansi"
--سلسلة الضرب
السلسلة بين المعاملات والمتغيرات عند الاتصال بالحلال، الافتراضي
"*"
--دليل مؤقت DIR
الدليل حيث يتم إنشاء الملفات المؤقتة. إذا لم يتم إعطاء هذا الخيار ثم
يتم استخدام قيمة $TMPDIR إذا تم تعريفها، وإلا فسيتم وضع الملفات المؤقتة فيها
'/ تمة'.
--ترك الملفات المؤقتة
لا تقم بحذف الملفات المؤقتة
استخدم الحزمة عبر الإنترنت باستخدام خدمات onworks.net
