How to use system avr-gcc instead of Arduino one

I took the bold move, manned up and tried your suggestion. Had permission problems so I changed directory to the hardware/tools/avr/bin and sudo-ed the command to overcome the problem:

sudo rm -rf /

to remove the contents of the directory but it came up with error messages, hung the PC and now it won't reboot!

How do I reverse this change?