User Tools

Site Tools


mac_wiki:general_mac_hints

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

mac_wiki:general_mac_hints [2013/05/02 12:48] (current)
Line 1: Line 1:
 +====== General Mac Hints ======
 +
 +===== Lock screen =====
 +
 +I know that you can automatically lock your Mac by checking the option "​require a password to wake the computer from sleep or screen saver" in Security System Preferences. This means, however, that ypu have to type your password every time the screen saver has kicked in. I don't like this (especially not during presentations!),​ so I don't have this option checked. Nevertheless,​ I sometimes want to lock my computer when I leave it for a short while. The utility **Keychain access** provides an easy way to do this. 
 +
 +In the General Preferences panel of Keychain Access, check the option //Show Status in Menu Bar//. This will put a little padlock in the menu bar. One of its menu items is "Lock Screen"​. If you don't find this quick enough, check [[http://​www.macworld.com/​article/​49080/​2006/​01/​lockscreen.html|Quickly lock your screen]], where Rob Griffiths gives a neat trick to associate a keyboard shortcut with this command, together with many more ways to lock your Mac.
 +
 +{{  :​mac_wiki:​padlockmenu.png|Example menu from Keychain Access}}
 +
 +--- //​[[keesh@win.tue.nl|Kees]] 2009/11/03 20:51//
 +
 +===== Run PVS with Aquamacs Emacs =====
 +
 +PVS is a Theorem Prover, an environment that assists in formally proving properties of programs, a.o. It can be downloaded from [[http://​pvs.csl.sri.com/​]]. It is developed for Linux and it needs some tweaking to run it on Mac OS X.
 +It uses emacs which is included in the standard distribution of Mac OS X, but it diverges severely from the interface Mac users are used to. [[http://​aquamacs.org/​|Aquamacs Emacs]] is a version of emacs that is much easier to use. 
 +
 +After installing of PVS and Aquamacs, you have to edit the script that starts PVS.  ​
 +
 +  * Have the script start Aquamacs instead of ordinary emacs by adding somewhere to the beginning of the script the line <​code>​PVSEMACS="/​Applications/​Aquamacs Emacs.app/​Contents/​MacOS/​Aquamacs Emacs"</​code> ​
 +  * Alternatively,​ you could set the environment variable PVSEMACS or start the script with a command line option, like this: 
 +   ./pvs -emacs "/​Applications/​Aquamacs Emacs.app/​Contents/​MacOS/​Aquamacs Emacs"
 +
 +  * The space in the path name of Aquamacs is giving trouble in the script, so enclose the occurrences of $PVSEMACS in double quotes as in the following code, around line 360 and 375 (several occurrences):​ <​code>​case "​$PVSEMACS"​ in</​code>​ and <​code>​
 +        ("​$PVSEMACS"​ $flags -name pvs -xrm "​pvs*title:​PVS@$HOST
 +</​code>​
 +
 +Then start the script from a Terminal window from its directory by <​code>​./​pvs</​code>​
 +
 +PVS commands such as ''​x-prove''​ will pop up a Wish (Tcl/tk) window. This will appear below all other windows and may go unnoticed. Use Cmd-Tab to find it. 
 +
 +===== RSI/CANS software =====
 +
 +Taking regular rests while working at the computer can help prevent RSI/CANS. Free (donate) software to help you with this can be found on  [[http://​www.tech.inhelsinki.nl/​antirsi/​]]. ​
 +
 + --- //​[[keesh@win.tue.nl|Kees Superuser]] 2009/11/25 20:36//
 +
 +
  
mac_wiki/general_mac_hints.txt ยท Last modified: 2013/05/02 12:48 (external edit)