Syntax
string quote( string str [, string esc[, string surrounding_string]] )
Description
The quote function puts the specified string between quotation marks. It inserts the "\" (backslash) character as required to "quote" any occurrences of the characters in the second argument to indicate that they are taken literally. The string is surrounded by a "surrounding_string" and defaults to the value of esc, which is optional and defaults to the value of the specified escape character. UThe quote function is useful when parsing arguments into commands which are shell scripts. The default escape character is a single quote.
Example
#this function will return: [This won\'t fail.]
quote("This won't fail.", "'");
Description
rand returns a random number less than the specified maximum.
Example
# print a random item from a list
print(alist[rand(length(alist)]);
Syntax
list stat ( string fn )
Description
stat returns information about a specified file on the policy server.
If the file fn exists on the policy server, stat returns the following list of values:
- File size in bytes
- File owner as username
- File group as groupname
- File permissions as octal
- File change date in the format: YYYY/MM/DD
- File change time in the format: HH:MM:SS
- File change time in the format: seconds since the epoch
- File access date in the format: YYYY/MM/DD
- File access time in the format: HH:MM:SS
- File access time in the format: seconds since the epoch
- File modification date in the format: YYYY/MM/DD
- File modification time in the format: HH:MM:SS
- File modification time in the format: seconds since the epoch
- File inode number
Syntax
string strftime (string format )
Description
strftime formats dates and times.
For more information on the standard formats for dates and times, refer to the strftime(3) man pages.
Table 42: Standard date and time formats
%d |
Day of the month |
%H |
24 hour format |
%I |
12 hour format |
%j |
Day of the year |
%m |
Month number |
%M |
Minute |
%S |
Seconds |
%w |
Weekday name |
%h |
Abbreviated month name |
Example
strftime("%m/%d/%Y") strftime("%H:%M")
Returns the current date and time formatted, as follows:
03/17/2012
13:05