Shell Programming and Scripting

Hi Anurag,
I have two files:

Stack.txt:

main: 1
function1: 1
function2: 1

and

Output.txt:

main: 0
function1: 1
function2: 0


I want to concatenate them into a single file say:

Data.txt:

main: 1
function1: 1
function2: 1
main: 0
function1: 1
function2: 0

Now what exact command to use? I am a total novice !

Just append output.txt file to Stack.txt file.

Code:

cat Stack.txt > Data.txt
cat Output.txt >> Data.txt

I read all the posts over here, but I still don't understand what exactly u want

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

First column value in both Stack.txt and Output.txt are same. I hope this is not the case. If same, then value in 1st file (Stack.txt) will be in final output.

Code:

 
cat Stack.txt Output.txt > Data.txt
while read a b
do
    sed -i "s/$a/$b/g" file1
done <Data.txt

If -i switch in sed doesn't wrok, then you need to you a temp file as below:

Code:

sed "s/$a/$b/g" file1 >temp; mv temp file1

hi anurag,
u r right... it will be like this:
data.txt:

main: ARG 1
function1: F1 1
function2: F1' 1
main: OUT 0
function1: F2 1
function2: F2' 0

now it becomes little difficult actually:
i have to replace ARG in the first file(see main post) with the corresponding value for ARG ie '1' . similarly for F1, value 1 etc. now ill the previous code work? i have to match the string and get the corresponding value .. how will i do that?

Assuming you want to replace
ARG with 1
F1 with 1
F1' with 1
OUT with 0
etc..

Code:

 
cat Stack.txt Output.txt > Data.txt
while read a b c
do
    sed -i "s/$b[']\{0,1\}/$c/g" file1
done <Data.txt

I do not want to replace with fixed values. I have to search for the string OUT in the new file(data.txt) and replace the OUT in file1 with the corresponding value(it may be 0/1/2/3 , anything)
that is have to grep for OUT in the file and find the value that is beside it!!