[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

POKE: New file.

From: Bruno Haible
Subject: POKE: New file.
Date: Sat, 14 Nov 2020 16:14:00 +0100
User-agent: KMail/5.1.3 (Linux/4.4.0-193-generic; KDE/5.18.0; x86_64; ; )

Hi José,

> 2020-11-14  Jose E. Marchesi  <jemarch@gnu.org>
>       * POKE: New file.

On case-insensitive file systems, you can't have a directory 'poke'
and a file 'POKE' in the same directory.

Such file systems are relevant today:
  - On macOS, the file system is case-insensitive, unless the person
    who installed the OS turned it off at installation time.
  - On Windows, most (or all?) file systems are case-insensitive.

To fix it, you would either need to rename 'poke' (maybe to 'src'?), or
rename POKE (what is the common suffix for rec files?).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]