Lines Matching refs:option

10 # (at your option) any later version.
170 echo "$0: option requires an argument -- '$opt'" 1>&2
181 option=$1
184 case "$option" in
193 modules=`argument $option "$@"`; shift;;
195 modules=`echo "$option" | sed 's/--modules=//'` ;;
205 rootdir="`argument $option "$@"`"; shift;;
207 rootdir="`echo "$option" | sed 's/--root-directory=//'`" ;;
210 bootdir="`argument $option "$@"`"; shift;;
212 bootdir="`echo "$option" | sed 's/--boot-directory=//'`" ;;
215 grubdir_override="`argument $option "$@"`"; shift;;
217 grubdir_override="`echo "$option" | sed 's/--grub-directory=//'`" ;;
220 grub_setup="`argument "$option" "$@"`"; shift;;
222 grub_setup="`echo "$option" | sed 's/--grub-setup=//'`" ;;
225 bootloader_id="`argument $option "$@"`"; shift;;
227 bootloader_id="`echo "$option" | sed 's/--bootloader-id=//'`" ;;
230 grub_mkimage="`argument $option "$@"`"; shift;;
232 grub_mkimage="`echo "$option" | sed 's/--grub-mkimage=//'`" ;;
235 grub_mkrelpath="`argument "$option" "$@"`"; shift;;
237 grub_mkrelpath="`echo "$option" | sed 's/--grub-mkrelpath=//'`" ;;
240 grub_mkdevicemap="`argument "$option" "$@"`"; shift;;
242 grub_mkdevicemap="`echo "$option" | sed 's/--grub-mkdevicemap=//'`" ;;
245 grub_probe="`argument "$option" "$@"`"; shift;;
247 grub_probe="`echo "$option" | sed 's/--grub-probe=//'`" ;;
261 disk_module="`argument "$option" "$@"`"; shift;
265 disk_module="`echo "$option" | sed 's/--disk-module=//'`"
273 pkglibdir="`argument "$option" "$@"`"; shift ;;
275 pkglibdir="`echo "$option" | sed 's/--pkglibdir=//'`" ;;
290 debug_image="`argument "$option" "$@"`"; shift;;
292 debug_image="`echo "$option" | sed 's/--debug-image=//'`" ;;
298 echo "Unrecognized option \`$option'" 1>&2
310 install_dir="${option}"
317 install_device="${option}"