port -file switch to pick
[mmh] / etc / pick.default
2017-05-25 Philipp Takacsadd -format to pick