This commit is contained in:
2025-07-22 07:39:08 +02:00
parent b560288962
commit 21e43c69a8
2 changed files with 3 additions and 2 deletions

View File

@@ -39,7 +39,7 @@ pub fn (mut tree Tree) scan(args TreeScannerArgs) ! {
git_pull: args.git_pull
)!
console.print_header('doctree.scan: ${path.path}')
console.print_item('doctree.scan: ${path.path}')
if !path.is_dir() {
return error('path is not a directory')

View File

@@ -47,9 +47,10 @@ pub fn rm(todelete_ string) ! {
}
item = item.replace('~', os.home_dir())
console.print_debug(' - rm: ${item}')
if item.starts_with('/') {
if os.exists(item) {
console.print_debug(' - rm: ${item}')
if os.is_dir(item) {
if core.sudo_path_ok(item)! {
// console.print_debug("rm deletedir: ${item}")