01-09-2008
Do i have to write code in the begining?
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
hello all
im trying to use in sun Solaris the information received from the top command
now i several machines that dont have install the top program so when im running the script im geting error
saying after im running this code :
set MemoryInfo = `top | grep Memory`
if (... (2 Replies)
Discussion started by: umen
2 Replies
2. UNIX for Dummies Questions & Answers
i installed x windows redhat linux 9.0 in my pc.
but the problem is when i run cc command for c programme .....bash:cc: command not found printed ...........i set the path for bash ............with the help of PATH=$PATH....................still it is not working .........please guide me. (4 Replies)
Discussion started by: mishra_sk_in
4 Replies
3. UNIX for Dummies Questions & Answers
Hi guys,
I do apologise if this question has been asked before. I am currently running Solaris 10 on a x86 architecture. Now, the problem I am having relates to the issuing of commands, for example if I am trying to find out the ipaddress of the machine I would issue the command 'ipconfig -a |... (2 Replies)
Discussion started by: BigTool4u2
2 Replies
4. Shell Programming and Scripting
I'm using Terminal in MAC OS X, and new to this.
I don't know what happened to the path. I always get "command not found".
For example, this is some of what I get:
-bash: ls: command not found
-bash: touch: command not found
What should I do to return the terminal to normal?
... (0 Replies)
Discussion started by: Abder-Rahman
0 Replies
5. Solaris
I have installed Solaris recently. I was doing "for file in *.c; ...." at the command prompt, it says for: command not found. I tried changing shells, but still wouldn't work.
Any ideas? (7 Replies)
Discussion started by: software2007
7 Replies
6. Shell Programming and Scripting
I created a script that I need to run from time to time, but get this error message. To get it working again I run this command from time to time:
export PATH="$PATH:~/scripts"
I put all my automated scripts in the /scripts directory and would like to run my scripts from any directory... (5 Replies)
Discussion started by: catalinawinemxr
5 Replies
7. Homework & Coursework Questions
Use and complete the template provided. The entire template must be completed. If you don't, your post may be deleted!
1. The problem statement, all variables and given/known data:
Trying to run script but everytime I do I get teh following error message
line 4:
I have attempted... (5 Replies)
Discussion started by: tbear808
5 Replies
8. Shell Programming and Scripting
I am running the export command within a view to use that value inside my build script. But while executing it it is saying "export command not found"
My code is as follows:
--------------------------
#!/bin/sh
user="test"
DIR="/bldtmp/"$user
VIEW="test.view1"
echo "TMPDIR before export... (4 Replies)
Discussion started by: dchoudhury
4 Replies
9. Shell Programming and Scripting
Hi Experts,
I am very much new to linux scripting, I am currently working on reducing my manual work and hence writing a script to automate few task.
I am running below command to snmpwalk the router..
snmpwalk -v 3 -u WANDL_SU -a MD5 -A vfipmpls -x DES -X VfIpMpLs -l authPriv... (19 Replies)
Discussion started by: Hanumant.madane
19 Replies
10. Solaris
Hi all,
ar command not found on Solaris 10 version.
We can execute under ./ar command /usr/ccs/bin directory.
However, we want to execute ar command anywhere.
We add to /usr/ccs/bin entry under /etc/profile file shown as below.
umask 002
trap 2 3
... (2 Replies)
Discussion started by: ziosnim
2 Replies
LEARN ABOUT DEBIAN
checker
checker(1) General Commands Manual checker(1)
NAME
checker - SPARK Proof Checker
SYNOPSIS
checker [OPTIONS] [FILE]
DESCRIPTION
The SPARK Proof Checker can be used to discharge verification conditions produced by the Examiner (*.vcg), possibly simplified by the Sim-
plifier (*.siv). This command is usually used when verification conditions cannot be discharged automatically by the Simplifier.
By default checker runs in interactive mode. It accepts commands from user and writes them into a cmd file (or other file specified by
-command_log option). This file can be used later to run checker in batch mode (using option -execute). Additionally, proof log is writ-
ten into a plg file.
OPTIONS
A summary of options is included below. All options may be abbreviated to the shortest unique prefix.
-help Show summary of options.
-version
Display version information.
-plain Adopt a plain output style (e.g. no dates or version numbers).
-overwrite_warning
Confirmation needed to overwrite command or proof log files.
-command_log=LOG_FILE
Specify file name for the command log file.
-proof_log=PLG_FILE
Specify file name for the proof log file.
-execute=LOG_FILE
Execute a previously generated command log file.
-resume
Resume a previously saved session.
FILES
/usr/share/spark/checker/rules/*
Checker rules database.
SEE ALSO
spark(1), sparksimp(1), spadesimp(1), pogs(1).
AUTHOR
This manual page was written by Eugeniy Meshcheryakov <eugen@debian.org>, for the Debian project (and may be used by others).
3 June 2011 checker(1)