Using a customized menu file

Recall that when you first examined the menu file, WAVE warned you to set the WAVEMENU variable the next time you run WAVE . WAVEMENU should be set to the name of your customized menu file (you can give the menu file any name you choose; wavemenu is the default name). For example, if you use the C-shell and wavemenu is in your home directory, use the command

    setenv WAVEMENU ~/wavemenu
before running WAVE again. You may wish to add this command to your .login script to set the variable automatically each time you log in. (If you forget to set WAVEMENU, WAVE will find your customized menu file only if it is in the current directory and is named wavemenu; otherwise, WAVE will use the system default menu again.)



George B. Moody (george@mit.edu)
2014-03-13