Lines Matching refs:times
25 Description: Attempts to set the access and modification times of the file
31 Description: Prints access, modification and change times of a file
68 echo "\n-- Checking different times, just after creating the file --\n";
76 echo "\n-- Checking different times, after changing the file permission --\n";
82 echo "\n-- Checking different times, after writing into the file --\n";
90 echo "\n-- Checking different times, after reading from the file --\n";
98 echo "\n-- Checking different times, after making a copy of the file --\n";
105 echo "\n-- Checking different times, after performing is_file() operation on the file --\n";
167 -- Checking different times, just after creating the file --
172 -- Checking different times, after changing the file permission --
177 -- Checking different times, after writing into the file --
182 -- Checking different times, after reading from the file --
187 -- Checking different times, after making a copy of the file --
192 -- Checking different times, after performing is_file() operation on the file --
