Ubuntu WSL : sudo mv gives permission denied

Question

我想重命名一个文件夹profile_default至profile_default_bak (以下 https://stackoverflow.com/a/39057820/12201164 )
但这对我来说是不可能的:

$ sudo mv profile_default profile_default_bak
mv: cannot move 'profile_default' to 'profile_default_bak': Permission denied

我怎样才能解决这个问题？
到目前为止尝试过:

检查权限和所有权，见 https://unix.stackexchange.com/a/430655/407261 :
$ ls -l
drwxr-xr-x 1 drnuke drnuke 512 May 11 13:21 profile_default
sudo chown -R drnuke profile_default/
sudo chmod -R 755 profile_default/

检查该文件夹中没有其他终端/bash 有任何打开的文件/文件夹

Answer 1

解决方案:
关闭任何 VSCode 窗口。而是使用普通的 bash 终端。