Linux Default-Editor in der BASH-Shell Tom 17. November 2019 0 Um den Default-Editor in der BASH-Shell zu ändern, sind...Mehr lesen