search

thebennybox-Community / Community-Compiler

MIT License
16 stars 5 forks source link

Stdlib update #124

Open rdrpenguin04 opened 6 years ago

jorolf commented 6 years ago

I'm not going to merge this for now because it only adds a "run that exec instead of doing it inside the code" function which IMHO maybe shouldn't even be inside the stdlib

rdrpenguin04 commented 6 years ago

Adding discussion from Discord: It is useful in case of launchers just as one example, and if it doesn't belong in stdlib, let me know where it should go. Also, something I didn't mention on Discord: A good philosophy of design is "If it's already been done, and there isn't a good reason to redo it, don't." I know Linux follows that.