07-18-2007
help
i wish i couldnt be new at this stuff but i need lots of helm add me and ill talk of wht little i know but wiill need to know how to be a pro at haking or just someone good at it , but i still dont want it to take for ever!!?..
9 More Discussions You Might Find Interesting
1. News, Links, Events and Announcements
http://slashdot.org/article.pl?sid=04/01/15/2349201&mode=thread&tid=126&tid=155&tid=95&tid=99 (1 Reply)
Discussion started by: norsk hedensk
1 Replies
2. Shell Programming and Scripting
I have been trying to run a unix script which contains many sql statements.I need to run this script every monday morning. I tried to run on command prompt, it works fine. But while I run it via batch or at command., it returns with library module could not be loaded (libcompat.1.o could not be... (3 Replies)
Discussion started by: ritzwan0
3 Replies
3. Shell Programming and Scripting
Hi All,
I am trying to run this script. I have a small problem:
each "./goada.sh" command when done produces three files (file1, file2, file3) then they are moved to their respective directory as can be seem from this script snippet here.
The script goada.sh sends some commands for some... (1 Reply)
Discussion started by: faizlo
1 Replies
4. Shell Programming and Scripting
I have a bash script that has been running fine for months that scans a bunch of files and gives me a log file output, it has suddenly started putting 1.5M of a repeating sequence of ^@^@^@^@^@^@^@^@^@^@ on the first line of the logfile, is this a unicode problem I should be setting something in my... (5 Replies)
Discussion started by: unclecameron
5 Replies
5. Shell Programming and Scripting
I am trying to automate an sftp command so that it does not stop and ask for the password each time
the calling shell script
#!/bin/ksh
sftp -b tst_1_batchfile.txt GLAXGBUPMPSOUT@204.90.134.116
the batchfile contents :
password XXXXXX
cd /GLAXGBUPMPSOUT/GSKENT/GLAXGF2FOPFF
put... (4 Replies)
Discussion started by: Shrabanti
4 Replies
6. Shell Programming and Scripting
this is what i have to find the files modified within the past 24 hours
find . -mtime -1 -type f -print0 | xargs -0 tar rvf "$archive.tar"
however i need to save/name this archive as the current date (MM-DD,YYYY.tar.gz)
how do i doo this (1 Reply)
Discussion started by: bugenhagen_
1 Replies
7. Shell Programming and Scripting
I wish to create a folder on a unix server B from my windows box using windows batch script.
Below is my windows batch script.
@ ECHO OFF
::Enter your Directory name:
echo Enter your Directory name:
set /p mydir=
plink user1@ServerA
mkdir %mydir%
At plink command i get logged... (7 Replies)
Discussion started by: mohtashims
7 Replies
8. Shell Programming and Scripting
hi,
is there a way i can execute a batch file containing ftp commands like we execute sftp batch file.
sftp -b batchfile user@server > output
how to create a batch file for ftp executing command and how to run the batch file from a shell script? (2 Replies)
Discussion started by: Little
2 Replies
9. Shell Programming and Scripting
Hello,
I have a UNIX script to sftp batch processing. Here is my sftp command.
ftp -b toopc userid@sftp.hostname.com
In the file toopc I have the following commands:
mget *.csv
bye
This brings in all files with an extension of .csv
However, I need to only bring in files that
... (6 Replies)
Discussion started by: schlinzj
6 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)