Hi guys! I looked at some tutorials on the subject, but I can’t delete the commands from the terminal’s history. I even accessed “man history” in the terminal, which reports being the command “history clear”, but this gives an error, as well as “history -c” .