From 37800705abe423ea63b71112992e5813ac758593 Mon Sep 17 00:00:00 2001 From: Denis 'GNUtoo' Carikli Date: Mon, 27 Nov 2023 00:30:04 +0100 Subject: [PATCH] build: rename option(s) to package(s). Most GNU Boot users are interested in running GNU/Linux or BSD operating systems. And the way to install software on these operating systems is through a package manager. So most users and contributors already know the package manager abstraction. So referring to packages instead of options makes it easier to understand what the script is doing. Signed-off-by: Denis 'GNUtoo' Carikli Acked-by: Adrien 'neox' Bourmault --- build | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/build b/build index c1a023e..b6c0e21 100755 --- a/build +++ b/build @@ -36,15 +36,15 @@ listmodes() { } # Takes exactly one mode as parameter -listoptions() { - for option in "${build}"/"${1}"/*; do - printf '%s\n' "${option##*/}" +list_packages() { + for package in "${build}"/"${1}"/*; do + printf '%s\n' "${package##*/}" done } help() { cat <<- EOF - USAGE: ./build