13

The binary file goes in /usr/local/bin. Each man page goes in the folder usr/local/share/man/manN where N is the number at the end of the man page file name. For example, gdisk.8 should appear in the folder /usr/local/share/man/man8. When finished adding all man pages, you should run the command /usr/libexec/makewhatis /usr/local/share/man to update the ...


7

/usr/local in general is the place to install user-provided unix-like software. For the binaries, see Where should shell tools be installed? or Where should shell tools be installed? which both point to /usr/local/bin. For man pages use /usr/local/share/man/manN (with N being the chapter, usually 1 or 8 for commands) and make sure /usr/local/share/man is in ...


1

I would use the nano editor to edit the correct file for your shell, which is zsh, not bash. nano ~/.zshrc Put this line in at the top of the file typeset -U path PATH Put this line towards the bottom and save: path+=/usr/local/mysql/bin Press the control key and the X key to exit (see the bottom of the nano window for more commands). If you then quit ...


1

log collect has --device/--device-name options. --device Collect system logs from paired device (first device found). --device-name name Collect system logs from paired device with the given name. --device-udid UDID Collect system logs from paired device with the given UDID. Collect some logs log collect --device-name foo wait, then ⌃C Show the logs ...


1

My apologies for necro-reviving an old question, but I thought this answer might be useful for others. From tedsmith3rd, here's a bash function to move a Terminal window. The magic of terminal command sequences. function bumpNjump() { local xDimension="" yDimension="" width="" height="" OPTIND while getopts 'x:y:...


Only top voted, non community-wiki answers of a minimum length are eligible