Add a quick script to the pcbsd/pbi-modules directory for manually building the PBI index from sources
Source proxy information in pbi-manager commands
Merge branch 'master' of github.com:pcbsd/pcbsd
Fix the makePBIindex.sh script: pbi_makeindex apparently already does the subdirectory search/build
Add support for local rebuild of PBI index data, which can be used
on the local machine immediately. Good for testing, or rebuilding
a PBI index when the online index cannot be reached or is stale.
Cleanup some debug info
Add sysutils/grub2-efi to ISO images, will be needed to do eventual
EFI booting
Expose the grub_platform variable to FreeBSD kernel environment,
which will let us determine if we booted EFI or BIOS
Merge remote-tracking branch 'upstream/master'