Search Results

I don't why I can't run the command now ,maybe my shell changed...It doesn't matter..

So the command is not very good . we use a script.

First we find out the pid of process that has running...

1,"touch" file .file
2,when somebody modify file . so .file is older than file.
3,if [ .file -ot file ];then
touch .file #the modify time changed
echo "file has modified"
else
echo "file not...

You can touch .filename (it's name same as file name in the file_list) when you find the date change ,so
if you find filename older than .filename ,so ,it has changed.
if [ file1 -ot file2 ]
we...

I don't why , because I tried , it works ,,

and maybe you can start you script like this :

command 2>/var/log/xxx.log

I've no idea...if it doesn't work for you...

No,you can
stat /proc/pid
then you can find the STIME..Right?
we just need to check /proc/"[0-9]{1,}" folder
Then we can determine which process match...

---------- Post updated at 02:47 AM...

I think I am wrong ...it will be Jul 15 ...so we need know how to output the exact time

I think I am wrong ...it will be Jul 15 ...so we need know how to output the exact time

command >/dev/null 2>&1

I can use :
grep -v -f file1 file2 -x

Hi, try this:
1,sed -n '/^XREA/p' filename

2,egrep "^aaa" filename

You can add path=$PATH:/opt/local/share/nwchem/nwchem in ~/.bash_profile
then you have two choice:
1 source ~/.bash_profile
so ,you can use your command now.

2 log out and then log in
then...

Hi,

You can use this command below:

ls -rt | head -$((`ls | wc -l` - 3))

then you can remove them

ls -rt | head -$((`ls | wc -l` - 3)) | xargs rm -f