moveDirectoryToDirectory

fun Path.moveDirectoryToDirectory(distDir: Path): Path

このディレクトリを distDir の中に移動 移動先は distDir.resolve(this.fileName) となる 移動先に同一フォルダがあり内容が同じ場合、古いフォルダを消して上書きする

See also