On Sat, 2018-01-20 at 08:52 -0500, Tom H wrote: > > Personally I just use 'type' rather than 'which'. > > "type" is the shortest and, like the others, it works for most commands. When you want to know what Bash would actually use as the command, 'type' is the most direct way to find out. poc _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
