For the user user1 who has installed the HEALPix package on directory /disk1/user1 and is running the tcsh shell, the configure script will create the profile /disk1/user1/Healpix_1.20/bin/profile.HEALPix.
# tcsh configuration for HEALPix setenv HEALPIX /disk1/user1/Healpix_1.20 setenv HEXE /disk1/user1/Healpix_1.20/bin setenv PATH ${PATH}:${HEXE} alias hidl "idl /disk1/user1/Healpix_1.20/src/idl/HEALPix_startup" alias hidlde "idlde /disk1/user1/Healpix_1.20/src/idl/HEALPix_startup"
Eric Hivon 2003-02-07