I've got a simple code setup, but for whatever reason it refuses to operate how it should
#!/bin/bash
RED='\033[0:31m'
RESET='\033[0m'
Basically these are some simple color encodings
Next thing I have is
for file in ./dir/*.c; do
echo "File [${RED}$file${RESET}] has been launched"
My expected result would be
File [myprogram.c] has been launched (while the name would be in red color)
Instead it just refuses to encode the color and dumps
File [\033[0:31m] has been launched
Any idea what I'm doing wrong?

echo -einstead ofecho, also use\033[0;31m, not colon.printfinstead.