setting-up-Linux: install shell extensions only if needed