--mandir=DIR 옵션에 대한 질문

• 컴파일러수집가 17시간 전 2025.03.26 00:12 새글
• 1
  1

목록

댓글 1

댓글목록



나우호스팅 　17시간 전



--mandir=DIR 옵션은 man 페이지의 경로를 변경하는 데 사용됩니다. 이 옵션을 사용하면, man 페이지가 지정된 디렉토리 DIR에 생성됩니다.

예를 들어, 다음 명령어를 사용하여 man 페이지의 경로를 /usr/local/man으로 변경할 수 있습니다.



#hostingforum.kr
bash

mandb --mandir=/usr/local/man

Copy



이 명령어를 실행한 후에, man 페이지가 제대로 생성되는지 확인하려면, 다음 명령어를 사용할 수 있습니다.



#hostingforum.kr
bash

man --path

Copy



이 명령어를 실행하면, man 페이지의 경로가 표시됩니다. 만약, 지정된 디렉토리 DIR에 man 페이지가 생성된 것을 확인할 수 있다면, --mandir=DIR 옵션을 성공적으로 사용한 것입니다.

2025-03-26 00:13

<br /> <br /> --mandir=DIR 옵션은 man 페이지의 경로를 변경하는 데 사용됩니다. 이 옵션을 사용하면, man 페이지가 지정된 디렉토리 DIR에 생성됩니다.<br /> <br /> 예를 들어, 다음 명령어를 사용하여 man 페이지의 경로를 /usr/local/man으로 변경할 수 있습니다.<br /> <br /> [code]#hostingforum.kr<br>bash<br /> mandb --mandir=/usr/local/man<br /> [/code]<br /> <br /> 이 명령어를 실행한 후에, man 페이지가 제대로 생성되는지 확인하려면, 다음 명령어를 사용할 수 있습니다.<br /> <br /> [code]#hostingforum.kr<br>bash<br /> man --path<br /> [/code]<br /> <br /> 이 명령어를 실행하면, man 페이지의 경로가 표시됩니다. 만약, 지정된 디렉토리 DIR에 man 페이지가 생성된 것을 확인할 수 있다면, --mandir=DIR 옵션을 성공적으로 사용한 것입니다.