+2010-02-14 Samuel Thibault <samuel.thibault@ens-lyon.org>
+
+ * commands/i386/pc/play.c (GRUB_MOD_INIT(play)): Fix help.
+ * docs/grub.texi (Command-line and menu entry commands): Document play
+ command.
+
2010-02-14 Samuel Thibault <samuel.thibault@ens-lyon.org>
* commands/i386/pc/play.c (grub_cmd_play): If grub_file_open fails,
GRUB_MOD_INIT(play)
{
cmd = grub_register_command ("play", grub_cmd_play,
- N_("FILE"), N_("Play a tune."));
+ N_("FILE | TEMPO [PITCH1 DURATION1] [PITCH2 DURATION2] ... "),
+ N_("Play a tune."));
}
GRUB_MOD_FINI(play)
* insmod:: Insert a module
* keystatus:: Check key modifier status
* ls:: List devices or files
+* play:: Play a tune
* reboot:: Reboot your computer
* set:: Set an environment variable
* unset:: Unset an environment variable
@end deffn
+@node play
+@subsection play
+
+@deffn Command play file | tempo [pitch1 duration1] [pitch2 duration2] ...
+Plays a tune
+
+If the argument is a file name (@pxref{File name syntax}), play the tune
+recorded in it. The file format is first the tempo as an unsigned 32bit
+little-endian number, then pairs of unsigned 16bit little-endian numbers for
+pitch and duration pairs.
+
+If the arguments are a series of numbers, play the inline tune.
+
+The tempo is the base for all note durations. 60 gives a 1-second base, 120
+gives a half-second base, etc. Pitches are Hz.
+@end deffn
+
+
@node reboot
@subsection reboot