• [bash/de] Update bash-de.html.markdown Jul 3