Beendet die GNU-Shell ohne weitere Abfragen und eventuell ge„nderte Parameter werden auch nicht gesichert !