11-09-2000
Ok,
I figured out how to code my LCD clock program the only problem I am now having is - making it print out.
I have my for loops and case statements in my program and after that I need to print out the time I know how to use the date with the cut command. But I am unsure on how to link my statements so that the time is printed out, after the case statements.
A
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
Using the date command
how do get yesterday's date??
e.g.
date '+%b%e%Y'
July 30 2002
I need to get
July 29 2002
using the date command.
Thanx
(p.s. sorry if it's a very obvious question) (6 Replies)
Discussion started by: niamo1
6 Replies
2. UNIX for Dummies Questions & Answers
we're using HP-UX
I need to change the year. What is the date command?
Thanks (2 Replies)
Discussion started by: saldana
2 Replies
3. Shell Programming and Scripting
I want to get previous date from date command. I am using ksh shell.
Exmp:
today is 2008.09.04
I want the result : 2008.09.03
Please help.
Thanks in advance. (4 Replies)
Discussion started by: rinku
4 Replies
4. UNIX for Dummies Questions & Answers
Hi All.
I'm using date -a to 'drift' the time forward / backwards. The question is - how do I know when its finished 'drifting' ? On some systems I have another time reference I can use but not always.
thanks (1 Reply)
Discussion started by: Mudshark
1 Replies
5. Shell Programming and Scripting
Hi is it possible to give the date command like 24th July 2009
ive tried
DATE=`date "+%d%m%Y"
echo $DATE
that only replies 2009 correctly. not sure how to display the month in full or if unix knows how to do i.e 2nd, 24th, 3rd (1 Reply)
Discussion started by: magnia
1 Replies
6. Shell Programming and Scripting
Hi,
does anybody know how to format `date` command correctly to return the day of the week? Thanks -A
I work in ksh.... (1 Reply)
Discussion started by: aoussenko
1 Replies
7. Shell Programming and Scripting
Hi
I want to get tomorrow and yesterday date from date command. My shell is KSH and server is AIX. I tried several options, but unable to do. Please help on this.
Regards
Rajesh (5 Replies)
Discussion started by: rajeshmepco
5 Replies
8. Shell Programming and Scripting
Hi all,
Need an urgent help on the below scenario.
script:
awk -F","
'BEGIN { #some variable assignment}
{ #some calculation and put values in array}
END {
year=#getting it from array and assume this will be 2014
month=#getting it from array and this will be 05
date=#... (7 Replies)
Discussion started by: vijaidhas
7 Replies
9. HP-UX
HI,
Can anyone tell me how to pull the date and file name separated by a space using the find command or any other command. I want to look through several directories and based on a date timeframe (find -mtime -7), output the file name (without the path) and the date(in format mmddyyyy) to a... (2 Replies)
Discussion started by: lnemitz
2 Replies
10. HP-UX
current date command runs well
awk -v t="$(date +%Y-%m-%d)" -F "'" '$1 < t' myname.dat
subtract 30 days fails
awk -v t="$(date --date="-30days" +%Y-%m-%d)" -F "'" '$1 < t' myname.dat
awk command in hp unix subtract 30 days automatically from current date without date illegal option error... (20 Replies)
Discussion started by: kmarcus
20 Replies
ANLDP(1) General Commands Manual ANLDP(1)
NAME
anldp - implementation of Davis-Putnam propositional satisfiability procedure
SYNOPSIS
anldp [options] < input-file > output-file
DESCRIPTION
This manual page documents briefly the anldp command.
anldp is an implementation of a Davis-Putnam procedure for the propositional satisfiability problem. anldp exposes the procedure used by
mace2(1) to determine satisfiability. anldp can also take statements in first-order logic with equality and a domain size n then search
for models of size n. The first-order model-searching code transforms the statements into set of propositional clauses such that the first-
order statements have a model of size n if and only if the propositional clauses are satisfiable. The propositional set is then given to
the Davis-Putnam code; any propositional models that are found can be translated to models of the first-order statements. The first-order
model-searching program accepts statements only in a flattened relational clause form without function symbols.
OPTIONS
-s Perform subsumption. (Subsumption is always performed during unit preprocessing.)
-p Print models as they are found.
-m n Stop when the nth model is found.
-t n Stop after n seconds.
-k n Allocate at most n kbytes for storage of clauses.
-x n Quasigroup experiment n.
-B file
Backup assignments to a file.
-b n Backup assignments every n seconds.
-R file
Restore assignments from a file. The file typically contains just the last line of a backup file. Other input, in particular the
clauses, must be given exactly as in the original search.
-n n This option is used for first-order model searches. The parameter n specifies the domain size, and its presence tells the program to
read first-order flattened relational input clauses instead of propositional clauses.
SEE ALSO
formed(1), mace2(1), otter(1).
Full documentation for anldp is found in /usr/share/doc/mace2/anldp.{html,ps.gz}.
AUTHOR
anldp ws written by William McCune <otter@mcs.anl.gov>
This manual page was written by Peter Collingbourne <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used by others).
November 5, 2006 ANLDP(1)