Closed mudrd8mz closed 5 years ago
The os.path.splitext() already returns the extension with the leading dot. So it was creating files like mdkscriptrun..sh with the extra dot in the name. The patch removes the extra dot.
os.path.splitext()
mdkscriptrun..sh
This has been bugging me since I wrote it :rofl:. Thanks!
The
os.path.splitext()
already returns the extension with the leading dot. So it was creating files likemdkscriptrun..sh
with the extra dot in the name. The patch removes the extra dot.