Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

"Remove" required #125

Open
aplteam opened this issue Mar 22, 2023 · 1 comment
Open

"Remove" required #125

aplteam opened this issue Mar 22, 2023 · 1 comment
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@aplteam
Copy link
Owner

aplteam commented Mar 22, 2023

Once a package is loaded into either ⎕SE._tatin or #._tatin there is no way to get rid of it.

There is a need for this: when a rarely used and expensive package (in terms of memory usage) is loaded and executed, the user command must be able to get rid of it when it has reason to assume that it is not used anytime soon again.

It should accept only the names of principal packages, but it should also remove dependencies that are not required by other packages.

I don't think that this has to be a user command, an API function should suffice.

@aplteam aplteam added the enhancement New feature or request label Oct 31, 2023
@aplteam
Copy link
Owner Author

aplteam commented Jul 8, 2024

The name should be UnLoad:

{noOfPackagesunloaded}←<#|⎕SE> Unload <pkg1,pkg2,..>

@aplteam aplteam self-assigned this Jul 8, 2024
@aplteam aplteam added this to the 1.0 milestone Dec 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant