Existem três possibilidades quando mv
ing um diretório:
-
mv directory file
falha com a mensagemmv: cannot overwrite non-directory 'file' with directory 'directory'
-
mv directory1 directory2
movedirectory1
dentro dedirectory2
-
mv directory nothing-yet
renamesdirectory
comonothing-yet
Como /opt
desapareceu, a possibilidade 1 não é o caso. Como opt
não aparece na listagem de diretórios que você apresenta no comentário da sua pergunta, a possibilidade 2 não é o caso. A única possibilidade restante é a possibilidade 3.
Para corrigir isso, renomeie-o de volta para /opt
:
mv /home/hasan/Desktop/DataGrip-2017.1 /opt