gnu: Rename "banana-pi" to "bananapi".
authorDanny Milosavljevic <dannym@scratchpost.org>
Fri, 14 Sep 2018 19:31:24 +0000 (21:31 +0200)
committerDanny Milosavljevic <dannym@scratchpost.org>
Fri, 14 Sep 2018 19:31:24 +0000 (21:31 +0200)
commite830c9d0b0ff7622b8bb86348ee0c97a28e2f2d8
tree8075ceeec05b3df3e6248d1ad659a2a154336bab
parent7a20877a184b5a9794741cf49740b88d61e8a2a4
gnu: Rename "banana-pi" to "bananapi".

* gnu/bootloader/u-boot.scm (u-boot-banana-pi-m2-ultra-bootloader): Rename
to...
(u-boot-bananapi-m2-ultra-bootloader): ...this.
* gnu/packages/bootloaders.scm (u-boot-banana-pi-m2-ultra): Rename to...
(u-boot-bananapi-m2-ultra): ...this.
* gnu/system/install.scm (banana-pi-m2-ultra-installation-os): Rename to...
(bananapi-m2-ultra-installation-os): ...this.
gnu/bootloader/u-boot.scm
gnu/packages/bootloaders.scm
gnu/system/install.scm