BASH - any character substitution in file name <p>I have some files. The pattern looks like this:</p> <pre><code>FILE_1.TXT FILE_2.TXT FILE_3.TXT </code></pre> <p>Now I have a loop where I want to do something with those files. For a reason (the reason is not important for the question), I HAVE to run the loop not through <code>*.TXT</code> but through <code>FILE_*.TXT</code> - only one thing that is changing in the file names is the number. <code>FILE_*.TXT</code> is not working, Bash is looking for <code>FILE_*.TXT</code> not for <code>FILE_1.TXT</code> etc.</p> <p>The code I'm using looks like this:</p> <pre><code>for file in FILE_*.TXT do # doing some stuff with the files done </code></pre> <p>How can I get this working?</p>