Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാൻ കഴിയുന്ന coqwc കമാൻഡ് ആണിത്.
പട്ടിക:
NAME
coqwc - Coq ഫയലുകളിലെ സ്പെസിഫിക്കേഷൻ, പ്രൂഫ്, കമന്റ് ലൈനുകൾ എന്നിവയുടെ എണ്ണം പ്രിന്റ് ചെയ്യുക
സിനോപ്സിസ്
coqwc [ -p ] [ -s ] [ -r ] [ -e ] ഫയലുകൾ ...
വിവരണം
coqwc Coq ലെ സ്പെസിഫിക്കേഷൻ ലൈനുകളുടെയും പ്രൂഫ് ലൈനുകളുടെയും കമന്റ് ലൈനുകളുടെയും എണ്ണം കണക്കാക്കുന്നു
ഫയലുകൾ.
ഓപ്ഷനുകൾ
-p അഭിപ്രായങ്ങളുടെ ശതമാനം പ്രിന്റ് ചെയ്യുക
-s സ്പെസിഫിക്കേഷൻ ലൈനുകളുടെ എണ്ണം മാത്രം പ്രിന്റ് ചെയ്യുക
-r പ്രൂഫ് ലൈനുകളുടെ എണ്ണം മാത്രം പ്രിന്റ് ചെയ്യുക
-e തലക്കെട്ടുകൾ ഒഴിവാക്കരുത്
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് coqwc ഓൺലൈനായി ഉപയോഗിക്കുക