Computer Tips

• To change your name and phone number run chfn.
• To give basic information about yourself and how to reach you, modify the .plan file in your home directory. Check ~bap/.plan for an example.
• Use ssh-add -l to see whether your ssh agent knows your private key.
• If you don't get how Makefiles should be organized or how they work at all, run make -p | less to see set of default rules make knows.
• Ask Barak for help with Makefiles.
• Avoid HTML email, as it is an abomination! Email containing ASCII text never causes any problems, and is easy to generate.