You can combine multiple sed statements by concatenating them with semicolons, like 's/a/b/g;s/c/d/g'. I'm not sure those statements will do what you want, though.
Try:
Instead of using two statements, I use extended regexes, which support backreferences -- the \1 gets replaced with the contents of the brackets, letting me print it twice without two expressions.
Last edited by Corona688; 09-28-2006 at 11:38 AM..
What is the correct format for a single command that would combine portions of 2 different lines in the command history? I'm using a C shell. Here's a simplified command history to clarify:
4 rm file1
5 ls -ld file2 file3 file4
6 cat file 5
With the above history, what would be the... (5 Replies)
Hello all,
I am trying to list and count all the files of a particular type in any given directory. I can use the commands separately but when I combine them they do not give an output.
The command for counting the files is ls -1 | wc -l and for listing all the file of particular type say... (2 Replies)
Is there anyway to achieve "find /home -name "*.bashrc" 2>/dev/null" and "PS1="\n>"" in the same command? I just wanna add a line to the previous command to change the PS1 variable to ">". (1 Reply)
Hi Guys,
I am looking to optimze these 5 SSH lines to a single SSH to get my machine to not hang! lol!
cat hosts.lst | xargs -n1 -t -i echo 'home/util/timeout 6 0 ssh -q {} top -b > util/{}.top &' >> r_query_info
cat hosts.lst | xargs -n1 -t -i echo 'home/util/timeout 6 0 ssh -q {} uname -r... (5 Replies)
hey can anyone tell me how can i combine these two commands so that it is executed only once, but gives me both the results.
IDLE=`sar 30 6 | grep Average | awk '{print $1 $5}' `
sar 30 120 | awk '{print $1" "$5}' >> mailx -m -s "$MSG" xyz@abc.com. (5 Replies)
Hi,
I have a directory with some XML files in it. I can use wildcards to get the list of XMLs I want
say I have following XMLs in same dir
Employee1.xml
Employee2.xml
Employee3.xml
and
Salary1.xml
Salary2.xml
Salary3.xml
apart from other .txt .dat files etc
I want to write a unix... (7 Replies)
I have a directory of 3000 files without extensions (Solaris 5.10).
I would like to iterate the file names through the 'file' command and output their mime types (most are pdf or jpg, but a very few might be psd or swf which show simply as 'data')
So, I would like the output of the 'ls'... (2 Replies)
Hi,
I am pretty new to the unix community and have encountered a problem that I am trying to solve. I have 2 files one of which is called passwd file that looks like the following
Sample Output
daemon:x:1:1:daemon:/usr/sbin:/bin/sh
bin:x:2:2:bin:/bin:/bin/sh
sys:x:3:3:sys:/dev:/bin/sh
... (1 Reply)
Hello all,
I need to send an attachment and text in the body, both in the same Email.
Below are two cammand that send the required data in separate Emails. I need to combine them so that I get just 1 Email containing the attachment & text in the body.
uuencode ${filename} "${file_}" |... (6 Replies)
Discussion started by: Junaid Subhani
6 Replies
LEARN ABOUT DEBIAN
anldp
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)