and_who/libreboot: Libreboot is a free boot fimware implementation, to replace the non-free BIOS/UEFI firmware found on most systems. It initializes the hardware and starts a bootloader for your operating system. @ c046852ea228fb0d1c4ea2ab09b684ae4e0725fa

Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'		%!s(int64=7) %!d(string=hai) anos
..
withgrub	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	%!s(int64=7) %!d(string=hai) anos
withgrub_helper	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	%!s(int64=7) %!d(string=hai) anos
withseabios	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	%!s(int64=7) %!d(string=hai) anos
withseabios_helper	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	%!s(int64=7) %!d(string=hai) anos