สวัสดีฉันพยายามที่จะย้ายไฟล์ทั้งหมดด้วย.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
extension0 $srcpath.....extensionN $srcpath
มีวิธีการทำอย่างไร[extension0...extensionN] $srcpath