[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?).
Bruno
- POKE: New file.,
Bruno Haible <=