non important commit

This commit is contained in:
maxstrb 2025-10-01 22:35:11 +02:00
parent b739f3d0b5
commit 859b6a8751

View file

@ -43,10 +43,10 @@
def edit [user_file?: path] {
let file = if ($user_file | is-empty) {
"."
pwd
} else {
$user_file
}
} | path parse | path expand
let git_result = do { git rev-parse --show-toplevel } | complete
if $git_result.exit_code == 0 {