Questions marquées «extension»





2
Déplacement de fichiers avec extension de la source à la destination
Bonjour , Je suis en train de déplacer tous les fichiers avec .hiet l' .oextension d'un dossier cible /srcdans 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 …
bash  mv  extension 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.