Should "drive rename" also rename the local file/directory?

[smblott-github]

$ drive pull foo
$ drive rename foo bar
$ ls
foo

That's pretty weird.

Might it be better to rename the local file/directory too, if present?

A bad use case would be if there's a local file/directory which just happens to have the same name. So perhaps such a feature would have to be optional:

drive rename -rename-local=true foo bar

[odeke-em]

Yap I agree, the only problem though is that you can't rollback locally and a lot of information has to be compared to make sure local and remote match up. I originally was going to implement it so that it works both ways but hesitated for a couple of reasons one of them being what you mentioned a local clash, not being able to rollback etc. I agree we could have an optional mode. BTW the exact same thing applies for move, delete, copy, new where they work only remotely.

[smblott-github]

An alternative would be to have a shell wrapper; e.g., here's a quick hack:

#!/usr/bin/zsh

if command $0 $argv && (( 0 < $#argv ))
then
   local cmnd=$argv[1]
   shift
   while (( 0 < $#argv )) && [[ $argv[1] == -* ]]
   do
      shift
   done
   case $cmnd in
      'rename' ) mv -v $argv  ;;
      'move'   ) mv -v $argv  ;;
      'mv'     ) mv -v $argv  ;;

      'delete' ) rm -rv $argv ;;
      'rm'     ) rm -rv $argv ;;

      'copy'   ) cp -rv $argv ;;
      'cp'     ) cp -rv $argv ;;
   esac
fi

[odeke-em]

Good one 👍

[odeke-em]

Hello @smblott-github, thank you for the patience. I got sometime finally tonight and implemented this with #632. Please get the latest.