Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 lpsactionrename 명령입니다.
프로그램:
이름
lpsactionrename - LPS의 작업 이름 바꾸기
개요
lpsaction이름 바꾸기 [OPTION]... --renamefile=NAME [인파일 [아웃파일]]
기술
FILE의 작업 이름 바꾸기 사양을 INFILE의 LPS에 적용하고 OUTFILE에 저장합니다.
OUTFILE이 없으면 stdout이 사용됩니다. INFILE이 없으면 stdin이 사용됩니다.
옵션
OPTION 다음 중 하나일 수 있습니다.
-p단계, --종료 단계=단계
변환을 중지하고 단계 PHASE: 'pa' 이후 작업 이름 변경 사양을 출력합니다.
(파싱), 'tc' (유형 검사)
-o, --재작성 안함
이름을 바꾸는 동안 데이터 표현식을 다시 쓰지 마십시오. 다시 쓰기 시스템이 수행할 때 사용
종료하지 않음
-m, --no-sumelm
최종 결과에 합계 제거를 적용하지 마십시오.
-P, --예쁜
출력의 예쁜 인쇄 버전을 반환합니다.
-QNUM, --qlimit=NUM
수량자의 열거를 NUM개의 변수로 제한합니다. (기본값 NUM=1000, NUM=0
제한 없는).
-f이름, --파일명 변경=이름
NAME의 이름 바꾸기 규칙을 사용하세요.
-r이름, --재작성자=이름
재작성 전략 사용 NAME: 'jitty' jitty 재작성(기본값) 'jittyc' 컴파일됨
jitty rewriting 'jittyp' jitty rewrite with Prover
--타이밍[=FILE]
FILE에 타이밍 측정을 추가합니다. 측정값은 다음과 같은 경우 표준 오차로 기록됩니다.
파일이 제공되지 않음
표준 옵션:
-q, --조용한
경고 메시지를 표시하지 않음
-v, --말 수가 많은
짧은 중간 메시지 표시
-d, -디버그
자세한 중간 메시지 표시
--로그 수준=LEVEL
레벨을 포함한 중간 메시지 표시
-h, --도움
도움말 정보 표시
--번역
버전 정보 표시
onworks.net 서비스를 사용하여 온라인으로 lpsactionrename을 사용하세요.