12-17-2010
Hi.. thx so much for the quick reply!! I just want to separate the blocks and send it as an argument to a tool(yices). a shell script for that i want.. i am new to linux environ..
basically i am developing a diagnostic tool..(a debugging project)
i need to do some text editing and send the text to yices(whole file). if the result is 'unsat' i need to separate the blocks and send each to diagnose where the problem lies.. Now you got it? does it make sense? i have other problems too.. will post another thread for that :P
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi -
I am looking for a replacing a string in a in multiple *.sql files in directory with a new string without using a temporary file
Normally I can use sed command as below
for W in ls `FILE*.sql`
do
sed 's/OLD/NEW/g' $W > TEMPFILE.dat
mv TEMPFILE.dat $W
done
But Here in my... (9 Replies)
Discussion started by: raghutapal
9 Replies
2. Shell Programming and Scripting
Hi,
i call my shell like:
my_shell "my project name"
my script:
#!/bin/bash -vx
projectname=$1
sed s/'PROJECT_NAME ='/'PROJECT_NAME = '$projectname/ <test_config_doxy >temp
cp temp test_config_doxy
the following error occurres:
sed s/'PROJECT_NAME ... (2 Replies)
Discussion started by: vivelafete
2 Replies
3. Shell Programming and Scripting
Can someone tell me how I can do this?
e.g:
Say file1.txt contains:
today is monday
the 22 of
NOVEMBER
2010
and file2.txt contains:
the
11th
month
of
How do i replace the word NOVEMBER with (5 Replies)
Discussion started by: tuathan
5 Replies
4. Shell Programming and Scripting
Can someone tell me how I can do this?
e.g:
a=$(echo -e wert trewt ertert ertert ertert erttert
erterte
rterter
tertertert
ert)
How do i replace the STRING with $a?
I try this:
sed -i 's/STRING/'"$a"'/g' filename.ext
but this don' t work (2 Replies)
Discussion started by: jforce
2 Replies
5. Shell Programming and Scripting
I have a list of names and email addresses.
Sample File -
username=poga--poga@yahoo.com
new-york,US
512834
username=poga123--poga123@hotmail.com
new-jersey,US
0894753
Requirement is to replace the email ids as dummy_username@xyz.com using sed only.
Output File -... (4 Replies)
Discussion started by: poga
4 Replies
6. Shell Programming and Scripting
Hi experts,
In my text file I have the following alot of lines like below.
input.k is as follows.
2684717 -194.7050476 64.2345581 150.6500092 0 0
2684718 -213.1575623 62.7032242 150.6500092 0 0
*INCLUDE
$# filename... (3 Replies)
Discussion started by: hamnsan
3 Replies
7. Shell Programming and Scripting
I have a file example.txt as follows :SomeTextGoesHere
$$TODAY_DT=20140818
$$TODAY_DT=20140818
$$TODAY_DT=20140818I need to automatically update the date (20140818) in the above file, by getting the new date as argument, using a shell script.
(It would even be better if I could pass... (5 Replies)
Discussion started by: SriRamKrish
5 Replies
8. Shell Programming and Scripting
Hello Forum.
I have a file called abc.sed with the following commands;
s/1/one/g
s/2/two/g
...
I also have a second file called abc.dat and would like to substitute all occurrences of "1 with one", "2 with two", etc and create a new file called abc_new.dat
sed -f abc.sed abc.dat >... (10 Replies)
Discussion started by: pchang
10 Replies
9. Shell Programming and Scripting
Sorry for the long/weird title but I'm stuck on a problem I have. I have this XML file:
</member>
<member>
<name>TransactionID</name>
<value><string>123456789123456</string></value>
</member>
<member>
<name>Number</name>
... (9 Replies)
Discussion started by: cozzin
9 Replies
10. Shell Programming and Scripting
I have a file comp.pkglist which mention package version and release . In 'version change' and 'release change' line there are two versions 'old' and 'new' Version Change: --> Release Change: -->
cat comp.pkglist
Package list: nss-util-devel-3.28.4-1.el6_9.x86_64
Version Change: 3.28.4 -->... (1 Reply)
Discussion started by: Paras Pandey
1 Replies
LEARN ABOUT CENTOS
reporter-mailx
REPORTER-MAILX(1) LIBREPORT MANUAL REPORTER-MAILX(1)
NAME
reporter-mailx - Sends contents of a problem directory via email.
SYNOPSIS
reporter-mailx [-v] -d DIR [-c CONFFILE]
DESCRIPTION
The tool reads a problem directory, composes an email message from the directory contents, and uses mailx to send the message to specified
recipient.
Properties of email messages can be specified in a configuration file, and via environment variables.
Configuration file
Configuration file contains entries in a format "Option = Value".
The options are:
Subject
The subject of the email message.
EmailFrom
The sender of the email message.
EmailTo
The recipient of the email message.
SendBinaryData
Use yes/true/on/1 to attach all binary files from the problem directory to the email. This can cause the emails to be very large.
Integration with ABRT events
reporter-mailx can be used as a reporter, to allow users report problems via email when they decide to do it. This usage is pre-configured
in /etc/libreport/events.d/mailx_event.conf:
EVENT=report_Mailx reporter-mailx
It can also be used to notify administrator automatically when a problem happens. When this is desired, modify the event configuration file
to run the tool on the post-create event:
EVENT=post-create reporter-mailx
OPTIONS
-d DIR
Path to problem directory.
-c CONFFILE
Path to configuration file. When used in ABRT event system, the file contains site-wide configuration. Users can change the values via
environment variables.
ENVIRONMENT VARIABLES
Environment variables take precedence over values provided in the configuration file.
Mailx_Subject
Subject of the email message.
Mailx_EmailFrom
Sender of the email message.
Mailx_EmailTo
Recipient of the email message. If nor the environment variable nor the corresponding option is defined, the message is send to
"root@localhost".
Mailx_SendBinaryData
Use yes/true/on/1 to attach all binary files from the problem directory to the email.
AUTHORS
o ABRT team
LIBREPORT 2.1.11 06/18/2014 REPORTER-MAILX(1)