04-16-2004
In awk the FILENAME varable is built-in, i.e. you don't need to define it.
Try this....
awk '{print FILENAME, $0 > FILENAME ".dat"}' file*
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Anyone who can assist :
I am trying to pass the group vairiable to a filename:
rpt_tsavegrp=/export/legato/scripts/$group_savegrp_rpt.$dat
It will not pass to variable.
Anyone have any ideas what I am doing wrong here.
Thanks
# This script sends email that save group completed.... (3 Replies)
Discussion started by: gzs553
3 Replies
2. Shell Programming and Scripting
Hi,
In the code below, the $DD1, $DD2, $MM1, $MM2 are not fetching the values. Can anybody tell me where have i made wrong.
Shift_date.sh is a script which gives the previous date if we give the current date in the format YYYYMMDD and +/- how many days past/future.. Like Shift_date.sh... (3 Replies)
Discussion started by: RRVARMA
3 Replies
3. Shell Programming and Scripting
I am trying to write a script that prompts users for date and time, then process the gzip file into awk. During the ksh part of the script another file is created and needs to be processed with a different set of pattern matches then I need to combine the two in the end. I'm stuck at the part... (6 Replies)
Discussion started by: timj123
6 Replies
4. Shell Programming and Scripting
Hello, i'm fairly new to scripting, so please bear with me (I did try looking this up first, i figured it had to have been asked already).
#!/bin/bash
fileName=`date | sed -n 's/ /_/g p' | sed -n 's/^/Backup_/p' | sed -n 's/$/\.tar/p'`; #THIS SETS BACKUP_DATE
echo $fileName #TEST OF VALUE
... (4 Replies)
Discussion started by: jzacsh
4 Replies
5. Shell Programming and Scripting
Greetings, people of UNIX/Linux forums.
I am having a problem with a script, where I am trying to create a new variable. The value of this variable would be dependent on the value in a couple other previous variables (all variables are 2-digit integers). Here is my code:
#set the stations... (3 Replies)
Discussion started by: TheSMan5
3 Replies
6. Shell Programming and Scripting
Hi all,
I want to set the last 4 letter in the filename as a variable.
For example, i have AB1234.txt file and i need to have last 4 letter as a variable.
It should be like ;
get last four letter
set var = 1234
How can i write this in C shell??
Thanks,
zibi (3 Replies)
Discussion started by: zibi
3 Replies
7. Shell Programming and Scripting
Hi guys,
I have a variable where i am storing the filename (with full path).
I just need the value before ".txt". But instead of getting the filename i am getting the contents of the filename.
FileName=/appl/data/Input/US/Test.txt
a=`awk -F"." '{print $1}' ${FileName}`
echo $a... (3 Replies)
Discussion started by: mac4rfree
3 Replies
8. Shell Programming and Scripting
Hi ,
Am trying to gunzip a file and pass the gunzipped file name to a variable , but its not taking up the value. Am trying to execute the command f=`gunzip <filename>`;echo $f. Here the file is getting gunzipped but the file name is not assigned to the variable. Any help on this will be useful.... (5 Replies)
Discussion started by: rogerben
5 Replies
9. Shell Programming and Scripting
HI,
MY question is a very simple one:
if i want to call an awk script with the input file name and also pass a variable value , then how to do it.
#>awk -f my_script.awk -v variable=value my_inputfile.txt
I can't do it like this.
throws error:
awk: my_script.awk:18:... (0 Replies)
Discussion started by: Onkar Banerjee
0 Replies
10. Shell Programming and Scripting
Hi,
If i were to do this an print out the file, it will show as it is in the command
$ awk '/Privilege Use/ {P=0} /Object Access/ {P=1} P' AdvancedAudit.txt
Object Access
File System No Auditing
Registry No Auditing
Kernel... (1 Reply)
Discussion started by: alvinoo
1 Replies
LEARN ABOUT DEBIAN
coqtop
COQ(1) General Commands Manual COQ(1)
NAME
coqtop - The Coq Proof Assistant toplevel system
SYNOPSIS
coqtop [ options ]
DESCRIPTION
coqtop is the toplevel system of Coq, for interactive use. It reads phrases on the standard input, and prints results on the standard out-
put.
For batch-oriented use of Coq, see coqc(1).
OPTIONS
-h, --help
Help. Will give you the complete list of options accepted by coqtop.
-I dir, --include dir
add directory dir in the include path
-R dir coqdir
recursively map physical dir to logical coqdir
-top coqdir
set the toplevel name to be coqdir instead of Top
-inputstate filename, -is filename
read state from file filename.coq
-nois start with an empty initial state
-outputstatefilename
write state in file filename.coq
-load-ml-object filename
load ML object file filenname
-load-ml-source filename
load ML file filename
-load-vernac-source filename, -l filename
load Coq file filename.v (Load filename.)
-load-vernac-source-verbose filename, -lv filename
load verbosely Coq file filename.v (Load Verbose filename.)
-load-vernac-object filename
load Coq object file filename.vo
-require filename
load Coq object file filename.vo and import it (Require Import filename.)
-compile filename
compile Coq file filename.v (implies -batch )
-compile-verbose filename
verbosely compile Coq file filename.v (implies -batch )
-opt run the native-code version of Coq
-byte run the bytecode version of Coq
-where print Coq's standard library location and exit
-v print Coq version and exit
-q skip loading of rcfile
-init-file filename
set the rcfile to filename
-user uid
use the rcfile of user uid
-batch batch mode (exits just after arguments parsing)
-boot boot mode (implies -q and -batch )
-emacs tells Coq it is executed under Emacs
-dump-glob filename
dump globalizations in file f (to be used by coqdoc(1) )
-with-geoproof (yes|no)
to (de)activate special functions for Geoproof within Coqide (default is yes )
-impredicative-set
set sort Set impredicative
-dont-load-proofs
don't load opaque proofs in memory
-xml export XML files either to the hierarchy rooted in the directory $COQ_XML_LIBRARY_ROOT (if set) or to stdout (if unset)
-quality
improve the legibility of the proof terms produced by some tactics
SEE ALSO
coqc(1), coq-tex(1), coqdep(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
October 11, 2006 COQ(1)