WinEdt를 통한 TEX 컴파일 타이머

WinEdt를 통한 TEX 컴파일 타이머

WinEdt 매크로의 일부 명령으로 TeX 컴파일 시간(texify, pdflatex 등)을 얻을 수 있는 방법이 있습니까? 내가 가지고 있는 시스템은 win 7입니다. 13:09:43.67과 같은 것을 반환하는 시스템 명령 time.exe가 있습니다. 여기서 44.67은 초와 밀리초입니다. WinEdt 문자열로 가져오는 방법은 무엇입니까? 단지 초가 아닌 최대 msec까지 시간을 분석해야 합니다.

답변1

WinEdt에는 경과 시간을 제어하는 ​​두 개의 매크로인 StartTimer및 가 있습니다 GetTimer.

첫 번째는 후자에서 사용할 타이머를 재설정하며, StartTimer내부 레지스터에서 마지막 호출 이후 경과된 시간을 밀리초 단위로 반환합니다.

따라서 WinEdt가 파일 컴파일을 수행하는 데 걸리는 시간을 알고 싶다면 다음을 수행할 수 있습니다.

  1. Timer.edt다음 내용으로 파일을 만듭니다 .

    EnterReg(0,"Which compiler do you want to use (e.g. PDFLaTeX)?","Choose the compiler");
    PushTagsandRegisters;
    StartTimer;
    Exe('%b\Exec\TeX\%!0.edt');
    GetTimer(0);
    Prompt("Elapsed Time (msec): %!0");
    PopTagsandRegisters;
    End;
    

    WinEdt의 로컬 AppData 폴더가 있는 디렉터리에 저장합니다(일반적으로 %b\Macros" 구성 마법사" 인터페이스, "옵션" 메뉴에서 검색할 수 있습니다).%bC:\Users\<user>\AppData\Roaming\WinEdt Team

  2. "옵션 인터페이스" 표시("옵션" -> "옵션 인터페이스")

    여기에 이미지 설명을 입력하세요

  3. "기본 메뉴" 항목을 두 번 클릭합니다(로컬 복사본이 MainMenu.ini열립니다).

  4. 줄 바로 뒤에

    MENU="TeX_Menu"
      CAPTION="Te&X"
      CONFIG_FILTER="Default;MiKTeX;TeX Live"
    

    라인을 추가

      ITEM="Timer"
        CAPTION="Timer"
        IMAGE="Time"
        MACRO="Exe('%b\Macros\Timer.edt');"
        REQ_FILTER=:"%!M=TeX"|"%!M=TeX:STY"|"%!M=TeX:AUX"
    
  5. 누르다Shift+Ctrl+F9


그게 다야. 이제 "TeX" 메뉴에 "Timer" 메뉴 항목이 생겼습니다.

여기에 이미지 설명을 입력하세요

pdlatex예를 들어, WinEdt가 파일 에 걸리는 시간을 알고 싶다면 파일이 포그라운드에 있을 .tex때 해당 항목을 누르면 .tex다음 메시지가 표시됩니다.

여기에 이미지 설명을 입력하세요

"PDFLaTeX"라고 쓰세요.

컴파일이 끝나면 다음과 같은 메시지가 표시됩니다.

여기에 이미지 설명을 입력하세요

관련 정보