06-15-2009
Hi.
I ran across one paper (PDF) that discusses semantic checking in bash scripts:
http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf -- one of a number of hits from a Google search.
I did not see anything in the paper that was a link to the code -- 4000+ lines of OCaml -- but you could drop the authors a line to see if they would release it.
Good luck and keep us posted ... cheers, drl
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
I have a rather big script that i have written in ksh and it is falling over in two places with a 'test argument' error. I know this usually means that the if statement is not correct, but it is fine. I have looked through the rest of the script for any odd brackets or ` marks, but can't see... (2 Replies)
Discussion started by: handak9
2 Replies
2. Shell Programming and Scripting
could any one provide me any new real time project idea in shell scripting
i am learning shell script and wants to do some real time development . (1 Reply)
Discussion started by: useless79
1 Replies
3. Shell Programming and Scripting
Hi Folks. I am currently working on a script that has to spell check a file and print the output to the screen in 2 columns like this.
INCORRECT CORRECTION
whio who
weahter weather
The file will allow the user to override the ispell command and save any... (9 Replies)
Discussion started by: ccfc1986
9 Replies
4. Programming
I'm trying to write a small utility for syntax checking. I've tried using Flex/Bison, but these seem too advanced for my task. A simpler tool would be appreciated. (1 Reply)
Discussion started by: Ilja
1 Replies
5. Shell Programming and Scripting
Hi everyone,
Can ny1 help me out regarding while loop arguments
i.e. what does
-gt
-ge
-lt
-le
means?
actually i am new to while loops (2 Replies)
Discussion started by: jojo123
2 Replies
6. Shell Programming and Scripting
I have written little script to check the CPU performance of the machine.
Request you to contribute your comments on the same.
Feel free to add your own scriptlet to make it better.
I have decided to call it as doctortux
I have decided to run the script in two mode
1)Interactive.(Not... (4 Replies)
Discussion started by: pinga123
4 Replies
7. Programming
hai guys,
I'am a newbie to this forum and to unix as well...as a part of our syllabus i got a project in Unix which i have to do in 4 days.Project is kinda File locking i will give the project specs...guys please help me..
Established client-server architecture using socket... (1 Reply)
Discussion started by: rosemolr
1 Replies
8. Homework & Coursework Questions
hai guys,
I'am a newbie to this forum and to unix as well...as a part of our syllabus i got a project in Unix which i have to do in 4 days.Project is kinda File locking i will give the project specs...guys please help me..
Established client-server architecture using socket... (1 Reply)
Discussion started by: rosemolr
1 Replies
9. Shell Programming and Scripting
I have a majority of this problem done but seem to be struggling on the last couple of steps. Here is the whole problem to help you guys get a better understanding.
Write a shell script that implements a simple spell checker.
The filename you will use for your script will be your Z-id followed... (1 Reply)
Discussion started by: DsmRacer2k14
1 Replies
10. Shell Programming and Scripting
I am attempting to write a korn shell script that does the following, but I am getting errors. I'm new to korn shell scripting and am not sure what I am doing wrong. Please help with example scripts. Thanks.
1) check for day of the week
2) if day of the week is Monday then check for the... (4 Replies)
Discussion started by: ijmoore
4 Replies
LEARN ABOUT CENTOS
git-var
GIT-VAR(1) Git Manual GIT-VAR(1)
NAME
git-var - Show a Git logical variable
SYNOPSIS
git var ( -l | <variable> )
DESCRIPTION
Prints a Git logical variable.
OPTIONS
-l
Cause the logical variables to be listed. In addition, all the variables of the Git configuration file .git/config are listed as well.
(However, the configuration variables listing functionality is deprecated in favor of git config -l.)
EXAMPLE
$ git var GIT_AUTHOR_IDENT
Eric W. Biederman <ebiederm@lnxi.com> 1121223278 -0600
VARIABLES
GIT_AUTHOR_IDENT
The author of a piece of code.
GIT_COMMITTER_IDENT
The person who put a piece of code into Git.
GIT_EDITOR
Text editor for use by Git commands. The value is meant to be interpreted by the shell when it is used. Examples: ~/bin/vi,
$SOME_ENVIRONMENT_VARIABLE, "C:Program FilesVimgvim.exe" --nofork. The order of preference is the $GIT_EDITOR environment variable,
then core.editor configuration, then $VISUAL, then $EDITOR, and then the default chosen at compile time, which is usually vi.
GIT_PAGER
Text viewer for use by Git commands (e.g., less). The value is meant to be interpreted by the shell. The order of preference is the
$GIT_PAGER environment variable, then core.pager configuration, then $PAGER, and then the default chosen at compile time (usually
less).
SEE ALSO
git-commit-tree(1) git-tag(1) git-config(1)
GIT
Part of the git(1) suite
Git 1.8.3.1 06/10/2014 GIT-VAR(1)