12-02-2000
Neo - I know that part - that's what I'm using for my other "if" statements.
I just don't know how to have it recognize if the file is in my dir.
Usually I prompt so when you echo the question you have
read $filename
if [ "$#" = "$filename" ]
,....
But thanks anyways,
But I am not allowed to prompt the user,
Here is how it should look
file look
- that file isn't in your directory
file mynewfile
-output is then revealed -
I hope this helps!
theA
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
I have the problem with SFTP; BELOW IS the entry from my ssh_config file
It's prompting me for password all the time when using SFTP. pLEASE help. (1 Reply)
Discussion started by: dsravan
1 Replies
2. Shell Programming and Scripting
I saw this wonderful script in a previous post and modified it to work, my question is
is there a way to enable a prompt at the GREP portion to allow me to enter what I wish to grep before hand?
#!/bin/sh
DATE=`date +%Y%m%d%H%M%S`
HOME=/u/home/xxx/report
LOG_DIR=/var/log/... (1 Reply)
Discussion started by: NelsonC
1 Replies
3. Shell Programming and Scripting
hi guys, is there any way to run a script using su - without prompting a password?
ex: su - $APPSUSERNAME/$APPSUSERPASSWORD stop_apps.sh
my purpose here is to run a script with current dbuser. thanks in advance. (3 Replies)
Discussion started by: d3xt3r
3 Replies
4. Shell Programming and Scripting
Hi,
I have SVN installed in my UNIX solaris server.
I actually automated the process that downloads code from SVN server to UNIX solaris server in script. When i run the script, its asking for password to download every element.
Its really difficult to type password for every element when... (3 Replies)
Discussion started by: gthangav
3 Replies
5. Shell Programming and Scripting
Hi All,
I am trying to transfer a file from one server to a remote server using SFTP. Client is not ready for key setup.
I am working on Solaris 10.
Here is the code.
#!/bin/ksh
# sample automatic Sftp script to dump a file
USER="user1"
PASSWORD="pass1"
HOST="host1"
sftp $USER@$HOST... (6 Replies)
Discussion started by: megha2525
6 Replies
6. Solaris
Hi,
I am trying to automate the process of fetching files from remote server to local server through sftp. I have the username and password for the remote solaris server. But I need to give password manually everytime i run the script.
Can anyone help me in automating the script such that it... (3 Replies)
Discussion started by: ssk250
3 Replies
7. UNIX for Dummies Questions & Answers
Dear unix experts,
i have a requirement as below.
i need to use SFTP as FTP.
ftp -n -v << ENDFTP
open test_ftp.server
user ftp_user_name ftp_password
quit
ENDFTP
if i use this in a shell script, it's not asking for password. But i want the similar thing achived using... (5 Replies)
Discussion started by: AraR87
5 Replies
8. Shell Programming and Scripting
Hi,
I'm trying to prompt twice on the same line but can't make it so far. I can prompt only once per line.
i.e.
read -p "Enter the two digits of your sum: " NUM1; read -p "+" NUM2
the result of above is:Enter the two digits of your sum: 5
+ 7
But I would like it to look something... (8 Replies)
Discussion started by: violeta.barajas
8 Replies
9. Shell Programming and Scripting
Hi,
Can anyone tell me how to pass password in a shell script for sftp so that i can run it in background without user entering the password?
I used a expect script but it timesout after some time and the process remains incomplete at the end.
Can anyone suggest any other idea?
Will the... (3 Replies)
Discussion started by: Little
3 Replies
10. Shell Programming and Scripting
// Red Hat Enterprise Linux Server release 6.7
I wanted to pass the password, but when I execute this cron, it stops at Password: prompt.
Please advise on how to fix the error. Thank you for tour help in advance.
#!/usr/bin/ksh
su - pmserver
echo "su - pmserver"
cd... (2 Replies)
Discussion started by: Daniel Gate
2 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)