cmd: Always show the current default blessing names
Change vbash to always show the current default blessing names, instead
of whatever it was when vbash was started.
Minor changes to vrun and principal to accomodate this:
- Add -s flag (short) to principal dump to only show the default blessing names
- Use "bash --norc" as default command in vrun.
Now, running vrun --role=<role> without a command will preserve the
vbash prompt, which will show the new blessings.
Change-Id: I64f62f9fcac52bf8983eedb72b67f41cbd3a441b
4 files changed
