[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #57735] pkg: package names should be handled c
From: |
Mike Miller |
Subject: |
[Octave-bug-tracker] [bug #57735] pkg: package names should be handled case insensitively |
Date: |
Mon, 3 Feb 2020 18:21:23 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.130 Safari/537.36 |
URL:
<https://savannah.gnu.org/bugs/?57735>
Summary: pkg: package names should be handled case
insensitively
Project: GNU Octave
Submitted by: mtmiller
Submitted on: Mon 03 Feb 2020 03:21:21 PM PST
Category: Octave Function
Severity: 1 - Wish
Priority: 5 - Normal
Item Group: Feature Request
Status: None
Assigned to: None
Originator Name:
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Release: dev
Operating System: Any
_______________________________________________________
Details:
The package name tends to be lowercase, but the code in pkg.m and its
subfunctions handles the package name inconsistently. Sometimes it needs to
match exactly, including case, and sometimes the case does not matter.
In my opinion, case should be ignored in all cases, all comparisons with
package names should be case insensitive. This would be consistent with the
'pip' package manager for Python.
Example:
>> pkg install -forge Signal
For information about changes from previous versions of the signal package,
run 'news signal'.
>> pkg install -forge SIGNAL
For information about changes from previous versions of the signal package,
run 'news signal'.
>> pkg install -forge sIgNaL
For information about changes from previous versions of the signal package,
run 'news signal'.
>> pkg load sIgNaL
error: package sIgNaL is not installed
…
>> pkg uninstall sIgNaL
warning: some of the packages you want to uninstall are not installed
…
>> pkg load SIGNAL
error: package SIGNAL is not installed
…
>> pkg unload SIGNAL
error: pkg: package(s): SIGNAL not installed
…
>> pkg uninstall SIGNAL
warning: some of the packages you want to uninstall are not installed
…
>> pkg describe Signal
error: some packages are not installed: Signal
…
I think all of these should work equivalently regardless of the case the user
types or the case that the package maintainer chose to put in the DESCRIPTION
file.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57735>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #57735] pkg: package names should be handled case insensitively,
Mike Miller <=