term% cat index.txt PLAY(1)                     General Commands Manual                    PLAY(1)
NAME
       play - simple audio player
SYNOPSIS
       play [ -o file ] [ file | url ... ]
DESCRIPTION
       Play  is  a  simple audio player that understands a number of audio and
       playlist formats.
       If no file or url arguments are given, standard  input  is  used.   The
       file  type  is  determined using the file(1) command and a matching au‐
       dio(1) decoder is applied.
       By default, raw audio data is written to /dev/audio unless changed with
       the -o option.
SOURCE
       /rc/bin/play
SEE ALSO
       audio(1), hget(1)
HISTORY
       Play first appeared in 9front (January, 2012).
                                                                       PLAY(1)