Re: makefile aus \begin{filecontents} ... \end{filecontents} erzeugen

  On 13/05/25 22:18, Axel Berger (via tex-d-l Mailing List) wrote:
> "Markus Kohm (via tex-d-l Mailing List)" wrote:
>> Knuth hat auch entschieden, dass Dateinamen an einem Leerzeichen enden.
>
> Hat er das? Das war m.W. systemübegreifend der allgemeine und sinnvolle
> Standard, bevor Windows ihn kaputtgemacht hat. Ich muß so gut wie alle
> Dateien, die von anderen bekomme, als erstes umbenennen. (Ja, es gibt

Vielleicht wissen das noch nicht alle, es gibt ein sehr nuetzliches Tood 
fuer diese Umbenennung:

  detox is a utility designed to clean up filenames. It replaces 
difficult to work with characters, such as spaces, with standard 
equivalents. It will also clean up filenames  with UTF-8 or Latin-1 (or 
CP-1252) characters in them.

  Features:
  * Removal or replacement of upper ASCII Latin-1 (ISO 8859-1) characters;
  * Removal or replacement of UTF-8 encoded Unicode characters;
  * Removal or replacement of spaces and other potentially tricky 
characters;
  * Trimming of excessive "_" and "-"s;
  * Directory recursion, dry runs, verbose listings.

  It is designed with safety in mind. It won't overwrite a file that 
already exists, and it doesn't touch special files if not requested.

  detox is useful to mass rename files automatically. As just one 
example, you can use detox to easily standardize lots of files, as MP3 
or movies, downloaded or stored inside a directory.

  This package provides detox and inline-detox commands. The 
inline-detox can be used in command lines, as a filter in shell procedures.

Homepage: https://github.com/dharple/detox

Petra

-- 
FAQ: http://texfragen.de/
Durchsuchbares Archiv: https://www.listserv.dfn.de/sympa/arc/tex-d-l 
Unsubscribe/Verwaltung: https://www.listserv.dfn.de/sympa/info/tex-d-l