modify (shorten, get rid of unwanted entries) the history list in the homedir file ~/.gexec_history
https://tracker.debian.org/pkg/gexec
https://debian.pkgs.org/9/debian-main-amd64/gexec_0.4-2_amd64.deb.html