Someone chump edited my
/etc/profile file, and I want to revert it to the system default, because I have now realized that I would rather override whatever needs to be overriden using files in my home directory. Can you guys point me to a way to reset the file contents to exactly how these were right after installation, or quote the original contents so I can paste these in my file? Thank you.
P.S. The chump is of course yours truly, from time past.