I was faced with the simple task of gzipping a file in a server. “Shell tools are always more efficient”, I thought…