09-18-2009
Hi Ken,
No, I want to replace 1 line with about 5 lines of code. Those 5 lines of code include an if loop.
Please let me know if you need any other information.
Thanks,
coolavi
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi,
does somebody know, how i can get the full path of my home-directory in a shell-script? But not with the $home-variable or ~ (i don't know for sure, but i think this does not work in every shell...).
Thank You!
Greetings,
qsi (5 Replies)
Discussion started by: qsi
5 Replies
2. Shell Programming and Scripting
Is it good practice to leave scripts in the root directory?
if no, why is it not? (1 Reply)
Discussion started by: stephen adebayo
1 Replies
3. UNIX for Dummies Questions & Answers
Hi everyone:
I'm trying to make a CRON job that will execute Fridays at 7am. I have the following:
* 7 * * 5
I've been studying up on CRON and I know to have this in a file and then "crontab filename.txt" to add it to the CRON job list.
The CRON part I believe I understand, but I would... (6 Replies)
Discussion started by: Annorax
6 Replies
4. Shell Programming and Scripting
Hi all,
I am trying to replace a few lines with other lines of all files in a directory which contain those few lines.
say - there are some 10 files in a dir having the same 4 lines as 1.txt at the starting
1.txt
line 1
line 2
line 3
line 4
....................................... (1 Reply)
Discussion started by: rooster005
1 Replies
5. Shell Programming and Scripting
Hello:
Can someone please help me figure out what is wrong here, my script does not move on to the "else" part even though there is no .ssh directory on my remote server:
$more putkey.sh
#!/bin/ksh
for server in `cat list`
do
if ; then
cat $HOME/.ssh/id_rsa.pub |ssh $server ' cat >>... (4 Replies)
Discussion started by: Sara-sh
4 Replies
6. Shell Programming and Scripting
Good morning.
I have a tricky one here for me. Hope somebody can help.
I am looking for a way to take a single script in a directory and use it to fire all scripts within a subdirectory.
For example.
Lets say I have the following in /lcl/prd/apps
file1.sh
file2.sh
file3.sh
file4.sh... (2 Replies)
Discussion started by: LRoberts
2 Replies
7. Shell Programming and Scripting
I've never toyed with awk, but it seems every time I present an elegant 2- to 8-line script, someone comes back with an awk 1-liner.
I just came up with this to count all the lines of source code in a directory. How would I do it in awk?
LINES=0
for n in $(wc -l *.cpp *.h | cut -b-7); do
... (2 Replies)
Discussion started by: KenJackson
2 Replies
8. Shell Programming and Scripting
Hi ,
Can you please check this code .I am getting the follwing error while executing the script.
Please help me out.
#rm /tmp/$$
#!/bin/ksh
dir_one="/usr/bin/sou"
dir_two="usr/bin/sou/temp"
for files in $dir_one/*.txt
do ... (31 Replies)
Discussion started by: soumyamishra
31 Replies
9. Shell Programming and Scripting
Dear All,
I have a shell scripts which create a directory and perform moving some files, when the script is kept where it is creating directory then it runs fine , but when the scripts is run where it is supposed to be which is different location then where i am creating directory , scripts... (2 Replies)
Discussion started by: guddu_12
2 Replies
10. Solaris
Hi,
I am presently working in a migration project from HP Unix to Sun Solaris.
I need to place all the directory structures, shell scripts and users into
Sun Solaris. By doing this task manually there is a possibility for
discrepencies. So any tools are there to do these kind of... (4 Replies)
Discussion started by: nag_sathi
4 Replies
LEARN ABOUT DEBIAN
coq-tex
COQ-TEX(1) General Commands Manual COQ-TEX(1)
NAME
coq-tex - Process Coq phrases embedded in LaTeX files
SYNOPSIS
coq-tex [ -o output-file ] [ -n line-width ] [ -image coq-image ] [ -w ] [ -v ] [ -sl ] [ -hrule ] [ -small ] input-file ...
DESCRIPTION
The coq-tex filter extracts Coq phrases embedded in LaTeX files, evaluates them, and insert the outcome of the evaluation after each
phrase.
Three LaTeX environments are provided to include Coq code in the input files:
coq_example
The phrases between egin{coq_example} and end{coq_example} are evaluated and copied into the output file. Each phrase is followed
by the response of the toplevel loop.
coq_example*
The phrases between egin{coq_example*} and end{coq_example*} are evaluated and copied into the output file. The responses of the
toplevel loop are discarded.
coq_eval
The phrases between egin{coq_eval} and end{coq_eval} are silently evaluated. They are not copied into the output file, and the
responses of the toplevel loop are discarded.
The resulting LaTeX code is stored in the file file.v.tex if the input file has a name of the form file.tex, otherwise the name of the out-
put file is the name of the input file with `.v.tex' appended.
The files produced by coq-tex can be directly processed by LaTeX. Both the Coq phrases and the toplevel output are typeset in typewriter
font.
OPTIONS
-o output-file
Specify the name of a file where the LaTeX output is to be stored. A dash `-' causes the LaTeX output to be printed on standard out-
put.
-n line-width
Set the line width. The default is 72 characters. The responses of the toplevel loop are folded if they are longer than the line
width. No folding is performed on the Coq input text.
-image coq-image
Cause the file coq-image to be executed to evaluate the Coq phrases. By default, this is the command coqtop without specifying any
path which is used to evaluate the Coq phrases.
-w Cause lines to be folded on a space character whenever possible, avoiding word cuts in the output. By default, folding occurs at the
line width, regardless of word cuts.
-v Verbose mode. Prints the Coq answers on the standard output. Useful to detect errors in Coq phrases.
-sl Slanted mode. The Coq answers are written in a slanted font.
-hrule Horizontal lines mode. The Coq parts are written between two horizontal lines.
-small Small font mode. The Coq parts are written in a smaller font.
CAVEATS
The egin... and end... phrases must sit on a line by themselves, with no characters before the backslash or after the closing brace.
Each Coq phrase must be terminated by `.' at the end of a line. Blank space is accepted between `.' and the newline, but any other charac-
ter will cause coq-tex to ignore the end of the phrase, resulting in an incorrect shuffling of the responses into the phrases. (The
responses ``lag behind''.)
SEE ALSO
coqtop (1).
29 March 1995 COQ-TEX(1)