Dan Martinez 16dc606001 Add the --short flag to type (#6403)
* Add the `--succinct` flag to `type`

* Use `echo` rather than `printf`

* Change `succinct` to `short`; print path if known

* Clean up the printing logic ever so slightly
2019-12-11 22:24:29 +01:00
..
2019-12-01 18:15:36 +01:00
2019-06-11 14:10:39 +02:00
2019-12-01 18:14:26 +01:00
2019-12-11 22:24:29 +01:00