Using SSH console to speed up coding Feb 1, 2022 in Development #tips #best-practices #grep A few potentially overlooked quick tips