Ok, jetzt klärt es sich für mich auch auf :P

Ich pers. interessiere mich gar nicht für dieses history_file, sondern lege mir die wichtigen Sachen nach /var/log/. Die User sollen - wenn sie möchten - mit dem Befehl 'history -c' ihr File einfach leeren können.