Ranger bulkrename
seit einiger Zeit hat das bulkrename mit Ranger nicht mehr geklappt, es gab am Ende einfach ein endwin() returned ERR.Das ist anscheinend ein Bug (zumindest in der Version im Debian Repo), aber leicht zu beheben: Im FIle /usr/lib/python3/dist-packages/ranger/gui/ui.py folgende Zeilen hinzufügen und es klappt wieder wie gewohnt.