/usr/share/doc/at/timespec is in at 3.1.13-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 | /*
* Abbreviated version of the yacc grammar used by at(1).
*/
%token <charval> DOTTEDDATE
%token <charval> HYPHENDATE
%token <charval> HOURMIN
%token <charval> INT1DIGIT
%token <charval> INT2DIGIT
%token <charval> INT4DIGIT
%token <charval> INT5_8DIGIT
%token <charval> INT
%token NOW
%token AM PM
%token NOON MIDNIGHT TEATIME
%token SUN MON TUE WED THU FRI SAT
%token TODAY TOMORROW
%token NEXT
%token MINUTE HOUR DAY WEEK MONTH YEAR
%token JAN FEB MAR APR MAY JUN JUL AUG SEP OCT NOV DEC
%token UTC
%type <charval> concatenated_date
%type <charval> hr24clock_hr_min
%type <charval> int1_2digit
%type <charval> int2_or_4digit
%type <charval> integer
%type <intval> inc_dec_period
%type <intval> inc_dec_number
%type <intval> day_of_week
%start timespec
%%
timespec : spec_base
| spec_base inc_or_dec
;
spec_base : date
| time
| time date
| NOW
;
time : time_base
| time_base timezone_name
;
time_base : hr24clock_hr_min
| time_hour am_pm
| time_hour_min
| time_hour_min am_pm
| NOON
| MIDNIGHT
| TEATIME
;
hr24clock_hr_min: INT4DIGIT
;
time_hour : int1_2digit
;
time_hour_min : HOURMIN
;
am_pm : AM
| PM
;
timezone_name : UTC
;
date : month_name day_number
| month_name day_number year_number
| month_name day_number ',' year_number
| day_of_week
| TODAY
| TOMORROW
| HYPHENDATE
| DOTTEDDATE
| day_number month_name
| day_number month_name year_number
| month_number '/' day_number '/' year_number
| concatenated_date
| NEXT inc_dec_period
| NEXT day_of_week
;
concatenated_date: INT5_8DIGIT
;
month_name : JAN | FEB | MAR | APR | MAY | JUN
| JUL | AUG | SEP | OCT | NOV | DEC
;
month_number : int1_2digit
;
day_number : int1_2digit
;
year_number : int2_or_4digit
;
day_of_week : SUN | MON | TUE | WED | THU | FRI | SAT
;
inc_or_dec : increment | decrement
;
increment : '+' inc_dec_number inc_dec_period
;
decrement : '-' inc_dec_number inc_dec_period
;
inc_dec_number : integer
;
inc_dec_period : MINUTE | HOUR | DAY | WEEK | MONTH | YEAR
;
int1_2digit : INT1DIGIT | INT2DIGIT
;
int2_or_4digit : INT2DIGIT | INT4DIGIT
;
integer : INT | INT1DIGIT | INT2DIGIT | INT4DIGIT | INT5_8DIGIT
;
%%
|