-
Notifications
You must be signed in to change notification settings - Fork 1
Timer Plugin
The Timer plugin provides the timer functionality.
This plugin makes it possible to set, delete, pause, resume timers. As well as you can always look up the remaining time of the timers.
All timers are stored in the registry
The following segments will explain the various features the plugin provides. The commands presented will have agf form as there are sometimes too many possible alternatives for one command to list them entirely. For all possible command variation see in TimerSpeech.aim.xml You can read all about the agf form and dialogs here.
The command for creating a timer is (set|create) timer (for|on) [# (hour|hours)] [# (minute|minutes)] [# (second|seconds)]
The #
in the command stands for the amount of its corresponding unit of time.
Any possible combination of hours, minutes and seconds will work.
The command to delete an timer is delete timer #
, where the # corresponds to the id of the timer.
If you wish to delete all timers, use the command delete all timers
.
When setting an timer, it is initially activated and will after the given time.
To pause a timer, use pause timer #
, the hashtag is representing the id of the timer. This command will pause the corresponding timer so the remaining time will not continue to go down.
To resume a paused timer, use the command (resume|reactivate) timer #
, the # referring to the corresponding timer id.
If you wish to get details of your set timers, use the command get timer #
, where the hashtag is representing the timer id. This command will give you the time until it will ring and if it is paused or running.
It is also possible, to get every timer with the command get all timers
.
This command will give you the id, the remaining time and state of activation of every timer that is stored.
If you want to know when exactly a timer is going off, use the command when (does|is) timer # (ringing|ring)
and Amy will give you back the amount of hours, minutes and seconds until the timer rings.