How can I restore /etc/profile? [duplicate]
I'm working on a bash script that appends to /etc/profile but instead of appending, I accidentally wrote over it, losing all of its content. How can I restore the file? I did search here but being new to Ubuntu, I don't know if the posted /etc/profile content I see in other questions is the default content.
There should be a copy of the default profile in /usr/share/base-files