我想用home/
指向其他位置文件夹的符号链接替换目录中的文件夹,但又想保留文件夹徽标而不必搜索它们。我该怎么做?
为了说明我的问题,主文件夹中的目录有漂亮的标志,如下所示:
如果我删除该文件夹并用符号链接替换它,音乐徽标就会丢失并被链接徽标替换。
我希望它同时具有音乐标志和符号链接标志,如下所示:
最好我希望能够做到这一点,而不必手动搜索并设置文件夹的图标(但一个解释如何做到这一点的好答案将被视为一个很好的替代方案)。
答案1
对于 Ubuntu 18.04:
在 18.04 中,您不再能够将符号链接粘贴/合并到目录上(这是有原因的)。幸运的是,如果您删除主文件夹子目录(文档、下载等)并将其替换为符号链接,则如果名称相同,图标将自动重新出现。
Ubuntu 18.04 之前版本:
这可以使用 Nautilus(Ubuntu 中的默认文件浏览器)的“合并文件夹”功能来完成。
只需在与要替换的文件夹同名的另一个位置创建符号链接,然后将其复制并粘贴到您的主文件夹中。
将出现一个对话框询问您是否要合并文件夹,您应该单击该Merge按钮,然后您将获得一个带有旧文件夹的名称和文件夹徽标的新符号链接。
警告:根据我的测试,这似乎不是一个真正的“合并”(它更像是一个有用的——尽管有潜在危险的——错误),您用符号链接替换的文件夹中的任何文件或子目录似乎都被删除了(也就是说,如果您不想丢失文件,只替换空文件夹)。谨慎行事!
警告:还,绝对不要替换本身包含符号链接的文件夹,否则它将跟随符号链接并递归删除目标目录中的所有内容。
这完成了工作,但如果有人知道具有相同结果的命令行替代方案,我会非常高兴。