Здравствуйте, я пытаюсь переместить все файлы с .hi
и .o
из целевой папки /src
в другую папку /Obj
Пока что я попробовал:
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?
Какой должна быть команда: mv extensions source dest ?
или mv source dest extensions
Я пытался:
srcpath=$(pwd)"/src"
objpath=$(pwd)"/Obj"
ghc src/Company.hs > Logs/output.txt 2> Logs/Err.txt
mv *.o *.hi $srcpath $objpath
И я получаю следующую ошибку:
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