/etc/grub.d/41_customはどのように機能しますか?

/etc/grub.d/41_customはどのように機能しますか?

/boot/grub/grub.cfg ファイルの一部が次のようになっているので尋ねます。

### BEGIN /etc/grub.d/41_custom ###
if [ -f  ${config_directory}/custom.cfg ]; then
    source ${config_directory}/custom.cfg
elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
    source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###

grub2に "source"コマンドがないため、これがどのように機能するのかわかりません。
http://www.gnu.org/software/grub/manual/grub.html

/bin/sh シェルコマンドの場合はソースです。
私の考えでは、/boot/grub/grub.cfg
のビルド中に、このコードスニペットに$ {config_directory} / custom.cfgを含める必要があります(grub-mkconfigを使用)。

[user@localhost ~]$ cat /etc/grub.d/41_custom 
#!/bin/sh
cat <<EOF
if [ -f  \${config_directory}/custom.cfg ]; then
    source \${config_directory}/custom.cfg
elif [ -z "\${config_directory}" -a -f  \$prefix/custom.cfg ]; then
    source \$prefix/custom.cfg;
fi
EOF

しかし、それは真実ではありません!
「source」コマンドを使用してテキストを挿入するだけです。

答え1

マッピングの説明です。注文するmodulename.modへ
http://blog.fpmurphy.com/2010/06/grub2-modules.html?output=pdf

grep -E "^source" /boot/grub/i386-pc/command.lst
source: configfile

grep -E "^\.:" /boot/grub/i386-pc/command.lst
.: configfile

関数コードは次のとおりです。
http://git.savannah.gnu.org/cgit/grub.git/tree/grub-core/commands/configfile.c#n61

したがって、「source」は grub2 の文書化されていないコマンドに過ぎません。

答え2

gnu.org WebサイトのGrub 2.02マニュアルは、16.3.71の「コマンドラインとメニュー入力コマンド」セクションの「source」コマンドのドキュメントを提供しています。したがって、2017年4月25日(Grubマニュアルの現在のバージョンの日付)現在のソースコマンドが文書化され、現在Linux MINT 19の/etc/grub.d/41_customファイルで使用されていることがわかりました。分布。

関連情報