surely there is a German word one could borrow?
I need your help bikeshedding. Should the counterpart to an "add" command in Fury be called "delete" or "remove"?
https://github.com/propensive/fury/issues/55 … /cc @berenguel
-
-
-
I love how I get to hear from you more whenever I'm in eastern timezones,
@jonoabroad! :) - Show replies
New conversation -
-
-
remove to keep in line with other tooling (like `git rm`, `rm`)?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I like the summon/banish idea :D Create/remove (a la docker) as well, not as catchy
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I don’t care. Whatever it is, it will be.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Add and remove or create and delete
-
No takers for instigate/obliterate?
- Show replies
New conversation -
-
-
Newspeech! Me gusta! Let's call that unadd. Or deadd.
-
Coadd?
- Show replies
New conversation -
-
-
Subtract
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.