You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I can't be the only one who thinks storing a patch inside a string is not ideal. On top of that, the script is not up-to-date with all the patches from https://www.lua.org/bugs.html. Plus, I might want to apply one of the Lua Power Patches. Overall, I think the cleaner solution is to deprecate the --patch option for something like --apply {names}
The text was updated successfully, but these errors were encountered:
I don't know about removing the patches currently stored, but it would be nice to be able to apply the Advanced Readline Patch, particularly to LuaJIT or Moonjit, because the REPL is a pain to use without the arrow keys working properly.
I can't be the only one who thinks storing a patch inside a string is not ideal. On top of that, the script is not up-to-date with all the patches from https://www.lua.org/bugs.html. Plus, I might want to apply one of the Lua Power Patches. Overall, I think the cleaner solution is to deprecate the
--patch
option for something like--apply {names}
The text was updated successfully, but these errors were encountered: