uname -r returns 10.0-CURRENT setenv UNAME_r "9.0-RELEASE" uname -r now returns 9.0-RELEASE How to reset uname -r to original value without doing setenv UNAME_r "10.0-CURRENT"? Is there some way just to deactivate the effect of the setenv UNAME_r so it returns to the real value of the system?