12-27-2013
I suppose it might work once if you could simulate hitting enter on the keyboard with that window in focus. It'd be easier with something like lynx and expect. Or with remote control sw like VNC you can do it remote!
7 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
I Have SCO OpenServer 5 with Netscape Navigator, but I'll like to try Internet Explorer to see how it workd on Unix. I don't know where I can find (If there is) a version compatible with SCO OpenServer! (2 Replies)
Discussion started by: SuPeRbYtE
2 Replies
2. UNIX for Dummies Questions & Answers
Hello,
i'm running a hp-ux workstation model 715 / 100 with hp-ux version 11.11
i need a microsoft internet explorer for this workstation to make some tests. does anyone know where i can cat a internet explorer 4.01 for my workstation?
Thank all for help! ;-) (3 Replies)
Discussion started by: ortsvorsteher
3 Replies
3. IP Networking
Downloaded and installed, when I try to execute iexplorer it responds with "iexplorer: not found", but it is right there in the directory I am in and I im logged in as root. any ideas? (3 Replies)
Discussion started by: cluettr
3 Replies
4. Windows & DOS: Issues & Discussions
Hi,
What must have happen to my internet explorer that flashes whenever it want to load. The page after trying to load would just logout. I have tried to reset most of the setting on the properties but all to no avail. Can someone pls assist.
Thanx (1 Reply)
Discussion started by: kayode
1 Replies
5. Solaris
Hi, I need some help with the Windows derived version of the IE port for UNIX on Solaris.
The file is "ie5setup.sunos5"
Here is the message
Code:
Unsupported Operating System
Application needs to run on Solaris 2.5 or higher.
Please visit www.microsoft.com/ie/unix for more... (17 Replies)
Discussion started by: huffandy
17 Replies
6. Solaris
Any idea where can I download IE for UNIX platform?
Microsoft does not support the downloading anymore? (5 Replies)
Discussion started by: jennifer
5 Replies
7. What is on Your Mind?
Hard to imagine that in the two decades of its existence this product once ruled supreme, but the news is finally there:
RIP Internet Explorer: Twitter mourns and mocks death of Microsoft (0 Replies)
Discussion started by: figaro
0 Replies
LEARN ABOUT DEBIAN
lps2torx
LPS2TORX(1) User Commands LPS2TORX(1)
NAME
lps2torx - provide TorX explorer interface to an LPS
SYNOPSIS
lps2torx [OPTION]... INFILE
DESCRIPTION
Provide a TorX explorer interface to the LPS in INFILE.
The LPS can be explored using TorX as described in torx_explorer(5).
OPTIONS
OPTION can be any of the following:
-y, --dummy
replace free variables in the LPS with dummy values
-rNAME, --rewriter=NAME
use rewrite strategy NAME:
'jitty' for jitty rewriting (default),
'jittyc' for compiled jitty rewriting,
'jittyp' for jitty rewriting with prover
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
AUTHOR
Written by Muck van Weerdenburg, Frank Stappers.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright (C) 2012 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the terms of the Boost Software License
<http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/lps2torx>.
lps2torx mCRL2 toolset 201202.0 (Release) April 2012 LPS2TORX(1)