Windows can be told to be case-sensitive in a given folder: https://www.howtogeek.com/354220/how-to-enable-case-sensitive-folders-on-windows-10/
On Thu, Nov 30, 2023 at 4:22 PM Ralf Hemmecke <[email protected]> wrote: > > Waldek, > > now that you suggest that LICENSE.AXIOM can be downloaded from github, > I think we can savely remove "license/" completely and write a note to > the end of the LICENSE file that the orginal NAG license file is in the > very first commit of the git repository. > > It would be safe to check this out even on case insensitive file systems. > > Ralf > > On 11/30/23 17:07, Waldek Hebisch wrote: > > On Thu, Nov 30, 2023 at 06:01:41PM +0800, Qian Yun wrote: > >> Now that "LICENSE" is committed, there's a minor problem: > >> > >> On case-insensitive filesystems, "LICENSE" file is colliding > >> with "license/" directory. > >> > >> I have confirmed that unpacking fricas-master.zip (from GitHub) > >> on Windows causes problem: "LICENSE" is created while "LICENSE.AXIOM" > >> is not. (Similar problem might happen for git checkout.) > >> > >> So considering rename the "license/" directory? (e.g. "licence") > > > > Well, I am not sure if that is really a problem. One reason to > > keep license/LICENSE.AXIOM is because people where told that > > orignal NAG license is there. Renaming would defeat this. > > OTOH Windows and Mac folks can fetch LICENSE.AXIOM from Github, > > I think that is enough. So as long as download do not produce > > errors I think that we can live with this. > > > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/0e045f4b-09c9-4e00-9cd0-db82c57ad470%40hemmecke.org. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAAWYfq00iBs8qAXrR_3gOO63gLEpH_R8Zx_1kC%3Dy9z9sFiPnbQ%40mail.gmail.com.
