GRUBのロード前またはロード後にサウンドを再生します

Linux Defenderまたはknoppix（または他の何か、どれか覚えていない）から「起動シーケンスを開始する」というクールな音が聞こえました。起動プロセスのできるだけ早い段階で使用したいと思います。ログインするとあまり意味がないと言われるので、GRUBの起動時にそれを再生するのが最適です。できますか？

GRUBマニュアルによると、最初の音符は「テンポ」であり、次の各数字のペアはデュレーションとピッチです。

ピッチはHzであるため、きれいに聞こえる（チューニングされている）音を再生するには、西部の平均律の音の周波数が必要です。

http://pastebin.com/rJY30FmM

ちなみに、貼り付けたJavaコードを書いて使用した後に思いついたのは次のとおりです。

GRUB_INIT_TUNE="480 220 1 277 1 330 1 440 1 185 1 220 1 277 1 370 1 294 1 370 1 440 1 587 1 330 1 415 1 494 1 659 1"

これは、A、F＃m、D、Eの4音のアルペジオを演奏します。

どうやって

ファイル/etc/default/grubで、変数GRUB_INIT_TUNEを目的のチューニングに設定します。

例えば： GRUB_INIT_TUNE="2000 400 4 0 1 500 4 0 1 600 4 0 1 800 6"

完了したら、で変更を適用しますsudo update-grub2。

既存の曲

（見つけられるもの）

• マリオブラザーズマッシュルームパワーアップ：1750 523 1 392 1 523 1 659 1 784 1 1047 1 784 1 415 1 523 1 622 1 831 1 622 1 831 1 1046 1 1244 1 1661 1 1244 1 466 1 587 1 698 1 932 1 1195 1 1397 1 1865 1 1397 1
• スターウォーズの帝国の死の行進：480 440 4 440 4 440 4 349 3 523 1 440 4 349 3 523 1 440 8 659 4 659 4 659 4 698 3 523 1 415 4 349 3 523 1 440 8
• xiè-jìléiの曲（昇順）：2000 400 4 0 1 500 4 0 1 600 4 0 1 800 6
• アダムズの曲（私にとっては着メロのような）：480 220 1 277 1 330 1 440 1 185 1 220 1 277 1 370 1 294 1 370 1 440 1 587 1 330 1 415 1 494 1 659 1

それらの詳細はこちら。

曲を理解する

構文は次のとおりです。 GRUB_INIT_TUNE="tempo [pitch1 duration1] [pitch2 duration2] ..."

テンポは、すべての音符の長さのベースです。60は1秒ベース、120は0.5秒ベースなどを示します。ピッチはHzです。ピッチを0に設定して休憩を作成します。

ソース：grubのドキュメント、grub playコマンドのドキュメント（同じページ）。

曲のプレビュー/テスト

チューニングをテストする場合：そのubuntuforum.orgスレッドsoxからスクリプトをインストールして使用します（警告を削除するために私が少し変更しました）：

グラブプレイチューン

#!/bin/dash

if [ $# -lt 3 ]; then
    echo "Usage: $0 tempo freq dur [freq dur freq dur...]" >&2
    exit 1
fi

tempo=$1; shift

tmpdir=$(mktemp -d)

while [ -n "$*" ]; do
    freq=$1; shift
    dur=$1;  shift
    dur=$(echo "$dur*(60/$tempo)"|bc -l)
    sox -e mu-law -r 8000 -n -t raw - synth $dur sine $freq >>$tmpdir/grubtune.ul 2> /dev/null
done

play -q -c1 -r 8000 $tmpdir/grubtune.ul

rm -r $tmpdir

実行可能にするには chmod +x grub-playtune

使用例：

grub-playtune 2000 400 4 0 1 500 4 0 1 600 4 0 1 800 6

音の頻度

ノートの頻度を計算するpython3ベースのスクリプト：

ピッチ

#!/bin/bash

python3 -c "print(*(int(0.5 + 440 * 2 ** (note/12)) for note in (${*/%/,})))"

使用例を次に示します。

$ pitch 0        # gives you A_4
440
$ pitch 2        # gives you B_4
494
$ pitch -2       # gives you G_3
392
$ pitch -12 0 12 # gives you A_3, A_4 and A_5
220 440 880

頻度表

1つはここから入手できます。上記のスクリプトを使用して、次のように生成することもできます。

$ pitch {-12..0} # A_3 to A_4
220 233 247 262 277 294 311 330 349 370 392 415 440
$ pitch {0..12} # A_4 to A_5
440 466 494 523 554 587 622 659 698 740 784 831 880
$ pitch {12..24} # A_5 to A_6
880 932 988 1047 1109 1175 1245 1319 1397 1480 1568 1661 1760

あなたは尋ねます、それはできますか？簡単な答えは？はい、どうやら。どうすればできますか？その答えを得るには、より多くのお金をスロットに入れる必要があります。ちょっとした冗談です。私ができる最善のことはこれです：

GRUBマニュアル

セクション5.1 Simple Configuration Handlingに進み、GRUB_INIT_TUNEという行を探します。Playおよびファイル名の構文へのリンクに従う必要があります。Grubファイルを手動で編集します。

1. ファイル/etc/default/grubを編集して、次の行を含めます（ここに私の初期設定を示します）。

   GRUB_INIT_TUNE = "2000 400 4 0 1 500 4 0 1 600 4 0 1 800 6"

2. 実行sudo update-grub2して変更を適用します。

私は、midiファイルを次の初期化チューンに変換するPythonスクリプトを作成しました。

https://gitlab.com/lukasfink1/midi2grub

実行するにはmidoライブラリが必要です。また、grub playコマンドはモノフォニックメロディのみを再生できるので、ミディはそうでないと奇妙に聞こえるかもしれません。