นี่คือคำสั่ง dom-mrconfig ที่สามารถเรียกใช้ในผู้ให้บริการโฮสติ้งฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
dom-mrconfig - สร้างไฟล์ปรับแต่งสำหรับ mr
เรื่องย่อ
dom-mrconfig.php [-h] [config_file]
DESCRIPTION
สร้างไฟล์ปรับแต่งสำหรับ mr พร้อมที่เก็บทั้งหมดไว้ภายใน debian โอแคม
ผู้ดูแล (pkg-ocaml-maint) กลุ่มอะลิออท
OPTIONS
-h
พิมพ์ความช่วยเหลือสั้น ๆ
config_file
เส้นทางของไฟล์ปรับแต่งที่จะสร้าง
ใช้ dom-mrconfig ออนไลน์โดยใช้บริการ onworks.net