On Fri, Oct 31, 2014 at 9:23 AM, Rohit Yadav <[email protected]> wrote:
> Hi, > > > On 31-Oct-2014, at 12:33 pm, Erik Weber <[email protected]> wrote: > > > > This might already be possible without me figuring out why, but is there > an > > easy way to list my profiles? > > If not, that'd be a nice feature request for a future version > > Available in the present one; > > set profile <tab> <tab> lists different server profiles you have. > > Ah, didn't try it after enabling paramcompletion. -- Erik
