Suchen:

Hallo,

meine Netzwerkanbindung zu Hause über UMTS scheint stark zu schwanken und ich suche deshalb ein Tool, welches diese über längere Zeit aufzeichnet, so dass man z.B. Ende des Montas mal ein...

Hilft aber nicht.
$ NO_PROXY='*' curl --insecure -u cobra-we-system:Naja-we1 -w "%{http_code}" <URL>

Output: return code von curl =56
stdout: 000

komplette Ausgabe:

% Total %...

Gute Idee das Problem zu umschiffen, klappt aber leider nicht. Ich habe in meiner Umgebung jetzt nur noch eine Variable mit 'proxy'-->

$ env | grep -i proxy
NO_PROXY=*

curl ... URL
ergibt...

printer.sh -->

#!/bin/bash
echo $*
exit 0

call_printer.sh -->

#!/bin/bash
p="--noproxy \"*\""

Hallo,

ich bin heute über folgendes Problem gestolpert.

Ich rufe in einem bash-Skript das Programm "curl" auf.
"curl" unterstützt ab Version 7.20 die Option

--noproxy "*"

Da ich...

Danke für die Aufklärung. Nun funktioniert es!

Mit Gruß
Thomas

Anbei das kleine Beispiel:

>snip
\documentclass[10pt,a4paper]{book}
\usepackage[utf8]{inputenc}
\usepackage[T2A,T1]{fontenc}
\usepackage[russian,ngerman]{babel}...

Hallo,

ich habe ein kleines. Problem mit \hyphenation.

Ich verwende es so:

\documentclass[10pt,a4paper]{book}
...
\hyphenation{Erstaun-licher-weise}
...