Dash to Dock
安装gnome的配置工具sudo aptinstall gnome-tweak-tool安装需要的扩展工具sudo aptinstall gnome-shell-extension-dashtodock我的版本是Ubuntu 20.04.2 LTS，无法直接安装，源码安装下载源码git clone https://github.com/micheleg/dash-to-dock.gitmakemake install如果报错make: msgfmt: Co...
