Packages with special characters like ∂ (U+2202) cannot be removed but can be generated

[arhik]

Package name with special characters like ∂ cannot be removed.

There is also an inconsistency because other characters like Δ (ex: ΔComponents as opposed to ∂Components) work. I can remove them. But thats not the case with ∂. Had to remove using its unique id. I could not find other cases. Will comment if I find any.

---

Details:
(@v1.5) pkg> rm ∂xxxxx
ERROR: Unable to parse ∂xxxxx as a package.

---

Platform:
Julia Version 1.5.2
Linux X86 Ubuntu 20.04

---

My opinion:

While its unusual to have to those names specially when github doesn't support these charecters in repo names (Ex: ∂Components) I feel it should be consistent. Either 'generate' should not work or 'remove' should work. I also agree, this is a very low priority bug.

[StefanKarpinski]

We should just delete the generate command.