01-26-2012
Quote:
WARNING: local host name (proof) is not qualified; see cf/README: WHO AM I?
The hostname "proof" is commented out in your posted /etc/hosts.
You probably need an entry on /etc/hosts which specifies the IP address of "proof" and the full qualified name of "proof.domain.whatever".
10 More Discussions You Might Find Interesting
1. UNIX for Advanced & Expert Users
Hi
A) I am able to send eMail using mailx from a UNIX ( solaris 8 ) host to my Outlook-email-ID : FName.Surname@Citigroup.com ( This is NOT my actual -eMail-ID). But in Outlook the "From :" eMail address is displayed as
" usr1@unix-host1.unregistered.email.citicorp.com " .i.e the words... (2 Replies)
Discussion started by: Vetrivela
2 Replies
2. Shell Programming and Scripting
Hello,
I have a C program that takes anywhere from 5 to 100 arguments and I'd like to run it from a script that makes sure it doesnt take too long to execute. If the C program takes more than 5 seconds to execute, i would like the shell script to kill it and return a short message to the user. ... (3 Replies)
Discussion started by: WeezelDs
3 Replies
3. UNIX for Dummies Questions & Answers
Hello,
I'm having a problem with my mail. When I send mail, it takes a long time for the send to complete.
In the below, datestamp is just a simple script to put in a no-white-space date/time stamp.
$ datestamp ; mail woodnt; datestamp
02-05-10@193844
Subject: test
timer
Cc: ... (0 Replies)
Discussion started by: Narnie
0 Replies
4. Shell Programming and Scripting
guys, i have a php script that i wrote that takes hours to send emails to recipients.
i can't post the content of this script in here because the script contains some very important confidential information.
so my question is, why is it that when the php script runs, it runs successfully, but... (3 Replies)
Discussion started by: SkySmart
3 Replies
5. Shell Programming and Scripting
Dear experts
I have a 200MG text file in this format:
text \tab number
I try to sort using options -fd and it takes very long! is that normal or I can speed it up in some ways?
I dont want to split the file since this one is already splitted.
I use this command: sort -fd file >... (12 Replies)
Discussion started by: voolek
12 Replies
6. UNIX for Advanced & Expert Users
Hi Gurus,
I have been searching for this around, but sendmail seems complicated and not sure if "mail" command would do, since all what I need to send internal emails from my solaris 10 box to our exchange server. Would the mailx or mail command do ?
I tried the :
# mailx -s test... (2 Replies)
Discussion started by: aladdin
2 Replies
7. Linux
I have a longstanding issue on my CentOS 5.6 VM where I am unable to send email from my PHP application.
This is the last bunch of lines from my /var/log/maillog file.
Feb 14 10:29:16 dev53 sendmail: s1EATEEo004637: Authentication-Warning: www.craig.dev-crmpicco.lan: apache set sender to... (2 Replies)
Discussion started by: crmpicco
2 Replies
8. Shell Programming and Scripting
Hi,
I am trying to search for a Directory called "mont" under a directory path "/opt/app/var/dumps"
Although "mont" is in the very parent directory called "dumps" i.e "/opt/app/var/dumps/mont" and it can never be inside any Sub-Directory of "dumps"; my below find command which also checks... (5 Replies)
Discussion started by: mohtashims
5 Replies
9. AIX
Hi,
I did setup sendmail on one of AIX LPARs. Its working as expected. But, would like to clarify something with you all.
I stopped the sendmail daemon on AIX LPAR, now it is inactive(&commented it on /etc/rc.tcpip ). But still, am able to send the emails even after stopping daemon.
... (6 Replies)
Discussion started by: system.engineer
6 Replies
10. Shell Programming and Scripting
I m using free zoho mail client application (similar to microsoft outlook) on my mobile for all my emails to mohtashim@techx.com
I wish to only recieve emails from my Linux Server details of which are: techx 3.10.0-514.10.2.el7.x86_64 #1 SMP CentOS release 7.3.1611 (Core).
I try the below... (20 Replies)
Discussion started by: mohtashims
20 Replies
LEARN ABOUT DEBIAN
picosat
PICOSAT(1) General Commands Manual PICOSAT(1)
NAME
picosat - SAT solver with proof and core support
SYNOPSIS
picosat [options] input-file
DESCRIPTION
This manual page documents briefly the picosat command.
picosat is a SAT solver with proof and core capabilities. Use the picosat.trace binary to actually use these capabilities (these incur some
overhead).
OPTIONS
-h Show summary of options.
--version
print version and exit
--config
print build configuration and exit
-v enable verbose output
-f ignore invalid header
-n do not print satisfying assignment
-p print formula in DIMACS format and exit
-i <0/1>
force FALSE respectively TRUE as default phase
-a <lit>
start with an assumption
-l <limit>
set decision limit
-s <seed>
set random number generator seed
-o <output>
set output file
-t <trace>
generate compact proof trace file (use picosat.trace, see above).
-T <trace>
generate extended proof trace file (use picosat.trace, see above).
-r <trace>
generate reverse unit propagation proof file (use picosat.trace, see above).
-c <core>
generate clausal core file in DIMACS format (use picosat.trace, see above).
-V <core>
generate file listing core variables
-U <core>
generate file listing used variables
AUTHOR
picosat was written by Armin Biere <biere@jku.at>.
This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (but may be used by others).
February 5, 2010 PICOSAT(1)