I have this code
printf '"%s" ' *.tex
which prints all files with .tex in the current directory.
Now I want only the file names (so without ".tex") and print them out the same way. I know there's a method to shorten the string with
printf '"%.4s" ' *.tex
but that is not what I want.