[PATCH 1 of 2] dispatch: always load extensions before running shell aliases (issue5230)

[Yuya Nishihara]

On Sat, 7 May 2016 15:18:25 +0100, Jun Wu wrote:
> # HG changeset patch
> # User Jun Wu <quark at fb.com>
> # Date 1462626743 -3600
> #      Sat May 07 14:12:23 2016 +0100
> # Node ID e4e2efae9f13369bd9e9691edd48a7da6fd18fcb
> # Parent  983353035cec51382257b7cbd599c7fa4da97847
> dispatch: always load extensions before running shell aliases (issue5230)

Nice cleanup. Pushed to the committed repo, thanks.

> This patch removes the code checking shell aliases before loading extensions
> to give the user a more consistent experience. It may hurt performance for
> shell aliases a bit

I've investigated how the shell alias handling was evolved, and my conclusion
is there was no practical reason to skip extensions.loadall().