Shawn
2020-12-06 07:07:21
You can get just the filename without leading path or file extension by combining file tail (which removes the leading path) and file rootname (Which removes the extension):
% set files /a/b/c/123_abc.txt
/a/b/c/123_abc.txt
% file tail $files
123_abc.txt
% file rootname $files
/a/b/c/123_abc
% file rootname [file tail $files]
123_abc
So...
set allfiles [glob /a/b/c/*.txt] ;# No quotes needed
foreach files $allfiles {
puts $outfile $files
puts $outfile [file rootname [file tail $files]]
}