Bonjour , Je suis en train de déplacer tous les fichiers avec .hi
et l' .o
extension d'un dossier cible /src
dans un autre dossier/Obj
Jusqu'ici j'ai essayé:
srcpath=$(pwd)"/src"
ghc src/Main.hs > Logs/output.txt 2> Logs/Err.txt //this builds the project and generates the binaries and .hi files
mv *.hi *.o $srcpath/src/ Obj/ //i want to move all these files to Obj/ folder but where do i place the extension arguments?
Comment la commande devrait-elle être: mv extensions source dest ?
oumv source dest extensions
J'ai essayé:
srcpath=$(pwd)"/src"
objpath=$(pwd)"/Obj"
ghc src/Company.hs > Logs/output.txt 2> Logs/Err.txt
mv *.o *.hi $srcpath $objpath
Et j'obtiens l'erreur suivante:
mv: cannot stat '*.o': No such file or directory
mv: cannot stat '*.hi': No such file or directory
mv: cannot move '/c/Users/[..]/src' to '/c/Users/[...]/Obj/src': Device or resource busy
extension0 $srcpath.....extensionN $srcpath
N'y a-t-il aucun moyen de le faire[extension0...extensionN] $srcpath