[fplus] Is it needed to change port name from fplus to FunctionalPlus #38213
-
Is your feature request related to a problem? Please describe.I find that
Proposed solutionrename this port Describe alternatives you've considered/ Additional contextNo response |
Beta Was this translation helpful? Give feedback.
Replies: 3 comments 2 replies
-
If the name of this port is modified, it will affect the local cache of the port that has already been installed, and there is a port I will convert this issue to discussion, waiting for more suggestions. |
Beta Was this translation helpful? Give feedback.
-
The port name seem to have to be all lowercase. I customized a port with a capitalized name, and when I named it as is, I got an error and had to change the name to all lowercase. This results in 2 related folders in the share folder, which doesn't affect usage, but it's not perfect! |
Beta Was this translation helpful? Give feedback.
-
Will be fixed by PR #38346. |
Beta Was this translation helpful? Give feedback.
Will be fixed by PR #38346.