2 xbuild
/p
:Configuration
=Debug labo2
-fsharp.sln
4 export MONO_TRACE_LISTENER
=Console.Error
6 CryptoFileTests
/bin
/Debug
/CryptoFileTests.exe tests
12 # Encrypt the file 'plaintext.txt'.
13 CryptoFileTests
/bin
/Debug
/CryptoFileTests.exe encrypt plaintext.txt ciphertext
15 # Decrypt the file 'ciphertext' to the directory 'output'.
18 CryptoFileTests
/bin
/Debug
/CryptoFileTests.exe decrypt ciphertext output
20 echo "Decrypted ciphertext:"
21 cat output
/plaintext.txt