Assertion: menu's command | /r/HasProperty | documented by various linux distributions
Facets:
Source sentences:
text: The GRUB command line is not a regular Linux shell, like e.g. bash, and accepts only certain GRUB-specific commands, documented by various Linux distributions.