make terminal case insensitive (debian linux) WordPress › Error There has been a critical error on this website.Learn more about troubleshooting WordPress.