Re: bash: get file modification time query

2003-07-10 Thread Zhao YouBing
Robin Gerard wrote: On Wed, Jul 09, 2003 at 05:32:25PM -0700, Vineet Kumar wrote: * David selby ([EMAIL PROTECTED]) [030709 12:08]: Is there a neater way to get a modification date for a file without ls -l & sed ? I have a bash script that needs to get the info. Because the file size var

Re: bash: get file modification time query

2003-07-10 Thread Hugh Saunders
On Fri, Jul 11, 2003 at 01:00:19AM +, Robin Gerard wrote: > On Wed, Jul 09, 2003 at 05:32:25PM -0700, Vineet Kumar wrote: > > * David selby ([EMAIL PROTECTED]) [030709 12:08]: > > > Is there a neater way to get a modification date for a file without ls > > > -l & sed ? I have a bash script tha

Re: bash: get file modification time query

2003-07-10 Thread Robin Gerard
On Wed, Jul 09, 2003 at 05:32:25PM -0700, Vineet Kumar wrote: > * David selby ([EMAIL PROTECTED]) [030709 12:08]: > > Is there a neater way to get a modification date for a file without ls > > -l & sed ? I have a bash script that needs to get the info. Because the > > file size varies I cannot us

Re: bash: get file modification time query

2003-07-10 Thread David selby
Vineet Kumar wrote: * David selby ([EMAIL PROTECTED]) [030709 12:08]: Is there a neater way to get a modification date for a file without ls -l & sed ? I have a bash script that needs to get the info. Because the file size varies I cannot use cut, it may cut the wrong bit. stat -c "%y" $

Re: bash: get file modification time query

2003-07-09 Thread Vineet Kumar
* David selby ([EMAIL PROTECTED]) [030709 12:08]: > Is there a neater way to get a modification date for a file without ls > -l & sed ? I have a bash script that needs to get the info. Because the > file size varies I cannot use cut, it may cut the wrong bit. stat -c "%y" $filename good times,