A couple of addons to enable to prioritize and remove several tasks at once.

I found myself trying to change the priority or delete of several tasks at once. So I wrote a couple of simple addons that do that.

The first one, pri, enables to change the priority of several tasks at once. Internally it just calls the pri command for each of the tasks on the list.

Similarly, rm, enables to delete several tasks at one. Again, it just calls the rm command for each task on the list.