GitLab

This is needed if in between the update of `$PATH` the `$commands` parameter hasn't
been updated, i.e. if there was no `rehash` or `hash -rf` or automatic rehash.
Co-authored-by: Marc Cornellà <marc.cornella@live.com>