|
let _ =
let quoted = Sys.argv.(1) = "-quoted" in
let ch_dir = Sys.argv.(if quoted then 2 else 1) in
Sys.chdir ch_dir;
let dir = Sys.getcwd () in
let dir = if quoted then Filename.quote dir else dir in
Format.printf "%s%!" dir
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
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:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
