Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
Quellcodebibliothek
Statistik
Leitseite
products
/
sources
/
formale Sprachen
/
Isabelle
/
HOL
/
Predicate_Compile_Examples
/ (
Beweissystem Isabelle
Version 2025-1
©
) Datei vom 16.11.2025 mit Größe 12 kB
SSL remotedesktop.cmd Sprache: BAT
rem ----------------------------------
rem -
rem - wake up remote machine
rem - wait until ready
rem - establish remote desktop
rem -
rem ----------------------------------
@
echo
------------------------------
@
echo
set
ip address
@
echo
------------------------------
set
machine=myremote
@
echo
------------------------------
@
echo
ping %machine%
@
echo
------------------------------
@ping -n 1 %machine%
@
echo
errorlevel
=%
errorlevel
%
:anfang
@ping -n 1 %machine%
@
echo
errorlevel
=%
errorlevel
%
@
rem pause
@
if
%
errorlevel
%==0
goto
weiter
@
goto
anfang
:weiter
@
echo
------------------------------
@
echo
connecting to %machine%
@
echo
------------------------------
@
rem @pause
@
echo
errorlevel
=%
errorlevel
%
@start mstsc /v:%machine% /f
:ende
quality
84%
¤
Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet)
¤
*© Formatika GbR, Deutschland
Wurzel
Suchen
Beweissystem der NASA
Beweissystem Isabelle
NIST Cobol Testsuite
Cephes Mathematical Library
Wiener Entwicklungsmethode
Haftungshinweis
Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
sprechenden Kalenders
2026-03-28