11-28-2018
Haha.. I already moved that CSS up, down all over the place. What a pain. LOL
Taking a break from this zombie mind-numbing busy-work!
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
2.I need shell script to list all the 'words' in a
given file (text) that are not listed in a specified
dictionary. Let us call this utility 'spell-check'.
'spell-check' will be called as follows.
$ spell-check letter
Lucent
UNIX
UNIX
OS
a
$
dictionary words are listed in lower... (2 Replies)
Discussion started by: ksjanakan
2 Replies
2. Programming
Hello Everyone
Im planning to make a C program to check a proxy server if it is working or bot, test the proxy speed ,response time , as well as a proxy type.
i'm learning using libcurl right now to fetch http headers. do you guys have some links about how to check proxy headers?. Thank you.
... (0 Replies)
Discussion started by: magictalong
0 Replies
3. UNIX for Dummies Questions & Answers
I have a html file called myfile. If I simply put "cat myfile.html" in UNIX, it shows all the html tags like <a href=r/26><img src="http://www>. But I want to extract only text part.
Same problem happens in "type" command in MS-DOS.
I know you can do it by opening it in Internet Explorer,... (4 Replies)
Discussion started by: los111
4 Replies
4. UNIX for Advanced & Expert Users
I am trying to use shellinabox as a terminal emulator. Everything is working except there seems to be no way to simulate an F14 button press in shellinabox. I am already embedding shellinabox in an html page so Im am wondering if there is a way to make an html/js button that will pass F14 to the... (0 Replies)
Discussion started by: syadnom
0 Replies
5. Red Hat
Hi there..
I need a proper "mutt" command to send a mail with html body and html attachment at a time.
Also if possible let me know the other commands to do this task.
Please help me.. (2 Replies)
Discussion started by: vickramshetty
2 Replies
6. Shell Programming and Scripting
I tried to find elegant (or at least simple) way to remove all but couple of html tags from html file, but all examples I found dealt with removing all the tags.
The logic of the script would be:
- if there is <li> or <ul> on the line, do nothing (=write same line to output)
- if there is:... (0 Replies)
Discussion started by: juubuntu
0 Replies
7. UNIX for Advanced & Expert Users
Hi all:
Been racking my brain on this for the last couple of days and what has been most frustrating is that this is the last piece I need to complete a project.
There are numerous posts discussing mutt in this forum and others but I have been unable to find similar issues.
Running with... (1 Reply)
Discussion started by: raggmopp
1 Replies
8. Debian
Guys I am new to Linux in general and want to know what is the use of the following files-:
/usr/share/dict/words
/usr/share/dict/words.pre-dictionaries-common
Are they used by the spell checker to find potential typos ?
If so are there any better larger word lists out there ? I am sure... (2 Replies)
Discussion started by: sreyan32
2 Replies
9. Shell Programming and Scripting
So, i made a simple lottery number generator like this:
for i in `seq 10`; do seq 1 35 | shuf -n 7 | sort -g | tr '\n' ' ' ;echo; done
i've file with winning numbers:
Eg:1 10 15 20 25 30 35
2 6 10 14 18 22 26
My problem here is how to compare or check if my generated numbers are match... (10 Replies)
Discussion started by: PuLPi
10 Replies
10. Shell Programming and Scripting
hi ,
Let me put it in a different way with words.
Assume the lottery have numbers from 1-50.
Out of this 50 numbers, I am going to pick up only 35 numbers randomly.
so, my total numbers would be 35 numbers shuffled from nos.
I have list of winning numbers in file.
Now, the... (9 Replies)
Discussion started by: gsiva
9 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)