스크립트가 인터넷에 액세스 할 수 있는지 여부에 따라 "Truthy / Falsey" 출력을 생성하는 프로그램을 작성하십시오 . 자체 재량에 따라 기존 사이트에 연결을 시도 할 수 있습니다 (가동 시간이 10 % 인 그늘진 사이트는 사용하지 말고 연간 가동 시간은 80 % 이상으로 유지하십시오). 사이트가 다운되면 프로그램이 작동 하지 않아도됩니다.

독립형 프로그램 또는 함수 여야합니다 . 이를 달성하기 위해 표준 라이브러리 외부의 라이브러리를 사용할 수 있습니다. 표준 허점 은 금지되어 있습니다. 이것은 코드 골프이므로 가장 짧은 바이트 수를 가진 코드가 이깁니다.

의사 코드 예 :

function a:
    try:
        connect to internet 
        return 1
    catch error:
        return 0

이것은 코드 골프에 관한 나의 첫 번째 게시물이므로 어떤 식 으로든 규칙을 위반하거나 속임수 인 경우 알려주십시오.

편집 : 수많은 제안으로 인해 UTF-8 바이트 수 제한을 제거했습니다.

배쉬 ( dnsutils 사용 ), 3 바이트

"."에 대한 DNS 요청을 보냅니다. (DNS 루트), 종료 코드는 성공의 경우 0이고 그렇지 않은 경우> 0입니다.

골프

dig

테스트

% dig >/dev/null; echo $?;        
0

% nmcli nm wifi off
% dig >/dev/null; echo $?;
9

기권

이는 DNS 서버가 공급자의 네트워크에있는 경우 (예 : "인터넷"(공급자 네트워크가 일반적으로 그 일부 임)) 또는 시스템이 공용 DNS 서버 (예 : 8.8.8.8)를 사용하는 경우에만 작동합니다. 그렇지 않은 경우 로컬 LAN 서버 (또는 로컬 호스트) 에서 캐시 된 사본을 얻을 수 있습니다 .

그러나 이것이 의도 한대로 작동하는 시스템이 둘 이상 있기 때문에 이것이 코드 골프 규칙 에 위배되지 않는다고 가정합니다 .

또한 순수 HTTP 메소드는 중간 캐싱 프록시로 인해 오탐 (false positive)을 제공 할 수 있으며 모든 곳에서 작동하지 않을 수 있으므로이 메소드에 고유 한 것은 아닙니다.

약간 더 안정적인 버전, 8 바이트

dig +tra

(@ Dig ital Tra uma에 대한 작은 찬사 !)

"추적 모드"를 활성화하여 캐시 문제를 피하면서 dig 가 자체적으로 재귀 검색을 수행하도록합니다 ( https://serverfault.com/a/778830 참조 ).

배쉬 + GNU 유틸리티, 8

• @Muzer 덕분에 5 바이트가 절약되었습니다.

wget to.

다른 쉘 응답은 리턴 코드를 확인하고 이에 따라 일부 상태 출력을 에코합니다. 이것은 불필요합니다. 쉘 리턴 코드는 이미 사용 가능한 Truthy / Falsey 코드이며 $?bash에 관용적 인 매개 변수 에서 액세스 할 수 있습니다 . 리턴 코드 0은 True를 의미합니다. 리턴 코드> 0은 False를 의미합니다.

사용:

ubuntu@ubuntu:~$ wget to.
--2017-01-13 09:10:51--  http://to./
Resolving to. (to.)... 216.74.32.107, 216.74.32.107
Connecting to to. (to.)|216.74.32.107|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 11510 (11K) [text/html]
Saving to: ‘index.html.6’

index.html.6        100%[===================>]  11.24K  --.-KB/s    in 0.04s   

2017-01-13 09:10:51 (285 KB/s) - ‘index.html.6’ saved [11510/11510]

ubuntu@ubuntu:~$ echo $?
0
ubuntu@ubuntu:~$ sudo ifconfig ens33 down
ubuntu@ubuntu:~$ wget to.
--2017-01-13 09:11:00--  http://to./
Resolving to. (to.)... failed: Temporary failure in name resolution.
wget: unable to resolve host address ‘to.’
ubuntu@ubuntu:~$ echo $?
4
ubuntu@ubuntu:~$ sudo ifconfig ens33 up
ubuntu@ubuntu:~$ # Local network up, upstream link down
ubuntu@ubuntu:~$ wget to.
--2017-01-13 09:11:34--  http://to./
Resolving to. (to.)... failed: Name or service not known.
wget: unable to resolve host address ‘to.’
ubuntu@ubuntu:~$ echo $?
4
ubuntu@ubuntu:~$ 

배치, 8 바이트

ping to.

ping주소를 확인할 수 없거나 도달 할 수없는 경우로 설정 ERRORLEVEL됩니다 1.

05AB1E , 11 9 바이트

"to"에 2 바이트를 저장했습니다. 의 호의 ev3commander

…to..wgX›

http : // to 의 컨텐츠 길이를 확인합니다 . 1보다 큰 경우
.w오류가 발생하면 0을 반환합니다.

MATL , 15 14 바이트

Kevin Cruijssen 의 제안으로 1 바이트 절약

'http://to.'Xi

출력은 STDOUT을 통해 이루어집니다. 인터넷에 연결되어 있으면 0이 아닌 문자 (진실한 문자)가 포함 된 비어 있지 않은 문자열이 표시됩니다. 연결이 없으면 아무것도 표시하지 않습니다 (거짓).

Xi온라인 통역사에서 허용되지 않기 때문에 온라인으로 테스트 할 수 없습니다 .

설명

'http://to.'  % Push this string
Xi            % Return contents of that URL as a string. If there is no Internet
              % connection this gives an error, with no output on STDOUT

배쉬 66 62 21 바이트

ping -c1 g.gl echo $?

URL 단축 팁에 대한 @Alex L.에게 감사합니다.

언 골프 버전 :

r=$(ping -c1 g.gl)
if [ $? -ne 0 ];
 then echo "0"
else echo "1"
fi

이것은 Bash의 첫 번째 대답입니다. 스크립트를 충분히 단축했는지 확실하지 않습니다.

R, 20 바이트

curl::has_internet()

curl패키지 에는 정확히이 작업을위한 기능이 있습니다.

자바, 72 바이트

a->new java.net.InetSocketAddress("to.",80).getAddress().isReachable(9);

펄, 15 바이트

print`curl to.`

로 실행 :

perl -e 'print`curl to.`' 2> /dev/null

curl에 물건을 출력 STDERR하고 신경 쓰지 마십시오. 컴퓨터가 인터넷에 액세스 할 수 있으면 몇 줄의 html (거짓)을 인쇄하고 그렇지 않으면 아무 것도 인쇄하지 않습니다 (거짓).

@Kevin Cruijssen 덕분 to.에 (내 이전 대신) 1 바이트를 b.io절약했습니다.

C #, 87 바이트

_=>{try{new System.Net.WebClient().OpenRead("http://g.gl");return 1;}catch{return 0;}};

예외라고 생각하지 않는 예외로 생각되면 65 바이트입니다.

_=>new System.Net.WebClient().OpenRead("http://g.gl").ReadByte();

http://to.@KevinCruijssen에 명시된 링크 를 사용해 보았지만 작동하지 않는 것 같습니다.

8 , 23 21 바이트

Kevin Cruijssen의 제안 과 내 발견 덕분에 2 바이트가 절약 되었습니다.http : // to 는 잘 작동 하는 것 같습니다http : // to . (다른 바이트 저장)

"http://to" net:get .

http : // to 사이트에 도달 할 수 있으면를 인쇄합니다 true. 그렇지 않으면를 인쇄합니다 false. 검색된 데이터를 스택에 남겨 둡니다.

MATLAB, 32 22 바이트

urlread('http://g.gl')

설명:

인터넷에 연결되어 있으면 ans(기본 변수)가 전체 HTML 코드가 포함 된 문자열이됩니다 ( MATLAB 에서는 참 ).

인터넷 연결이 끊어지면 STDERR에 오류 메시지가 작성되고 작업 공간을 비워 둡니다 ( MATLAB의 경우 거짓 ).

불행히도 전체 URL 주소urlread 가 필요 하므로 충분하지 않습니다. 따라서 22 바이트 중 11 바이트는 URL 주소 일뿐입니다.g.gl

대체 접근법 :

오류를 잡아 해결책은 0 (도 떠나 거짓을 연결이 다운되면 작업 공간에) :

0;try urlread('http://g.gl'),end

0;기본 변수 초기화 ans에 0있다, falseMATLAB에 있습니다. 그런 다음 tryURL을 읽습니다. 인터넷 연결이 끊어지면 오류가 발생하고 그렇지 않으면 문자 배열 ( trueMATLAB에 있음)이 표시됩니다.

우리는 아무것도 잡을 필요가 없으므로 그냥 끝납니다. urlread 호출에 성공 ans하면 웹 사이트의 내용이 포함 된 긴 문자열이되며 그렇지 않으면 ans=0.

배쉬, 39 바이트

exec 4<>/dev/tcp/to./80&&echo 1||echo 0

자바 스크립트 ES6, 71 43 바이트

fetch``.then(a=>alert(1)).catch(a=>alert``)

온라인 인 경우 경고 1, 오프라인 인 경우 빈 문자열을 경고합니다. 바이트를 줄여주는 Patrick Roberts에게 감사합니다.

구 버전

_=>fetch('http://enable-cors.org').then(a=>alert(a)).catch(a=>alert(0))

경고 [object Reponse]온라인 경우, 경고 0오프라인 경우

코드 스 니펫을 제거하면 CORS가없는 다른 도메인에서로드되기 때문에 작동하지 않지만 브라우저 콘솔에서 작동합니다.

자바 스크립트 ES6, 90 81 바이트

f=a=>{i=new Image();i.src="//placehold.it/1x1";i.onload=b=>a(1);i.onerror=c=>a()}

JavaScript ES6, 22 21 바이트 (잘못된)

일부 브라우저는 navigator.onLine을 사용할 때 완전히 지원하지 않거나 예상되는 결과를 생성합니다.

f=a=>navigator.onLine

스칼라, 54 바이트

x=>(Runtime.getRuntime exec "ping -c 1 ai."waitFor)<1

꽤 간단합니다. 에 ping 명령을 실행하고 http://ai./0으로 종료되면 true 를 , 그렇지 않으면 false를 반환합니다.

Brainfuck (비경쟁) 21 바이트

++++++[>++++++++<-]>.

Brainfuck은 (내가 아는 한) 인터넷에 연결할 수 없으므로 프로그램을 연결할 수 없으므로 항상 대답은 0

이 프로그램은 기술적으로 문제가 되었더라도 하드 코딩 된 출력 표준 허점 에 해당하는 것이므로 비경쟁 입니다.

Powershell, 64 26 23 바이트

Shawn Esterman 덕분에 38 바이트 절약

briantist 덕분에 3 바이트 절약 및 스크립트 복구

Test-Connection -q g.gl

PHP, 23 PHP + 컬, 14

PHP의 백틱 연산자 사용 :

<?=`curl to.`;

정답 :

나는 시작하려고 노력할 것이다.

<?=file('http://x.gl');

x.gl에 도달 할 수없는 경우 아무것도 출력하지 않습니다 Array.

그들이 맞는지 확실하지 않은 다른 버전 :

<?=getmxrr('x.gl',$a);  // 22 chars

Python 3 + 요청, 59 55 53 바이트

요청에 대한 답변이 있어야합니까?

from requests import*
try:get("http://to.")
except:Z

인터넷의 종료 상태는 0이고 인터넷이없는 경우 1입니다. 예:

$ python inet.py 
$ echo $?
0
$ # Remove ethernet cable
$ python inet.py 
$ echo $?
1

변경 로그:

• -4 바이트 (Mego 덕분에)

엘릭서, 33 바이트

{:ok,_}=:inet.getaddr('to',:inet)

연결되면 0, 그렇지 않으면 1

PowerShell , 12 바이트

!!(irm g.gl)

매스 매 티카 10 바이트

user.wolfram.com에 유효한 Mathematica 사본과 로그인 자격 증명이 있다고 가정합니다.

CloudPut@1

값 1을 클라우드에 씁니다. Truthy : CloudObject [ ""] Falsey : $ 실패

CloudGet@%

클라우드에 업로드 된 값 1을 반환합니다.

파이썬 2.7, 70 77 바이트

from urllib import*
a=1
try:urlopen('http://to.')
except:a=0
print a

import urllib as l
try: 
 l.urlopen('http://a.uk')
 print 1
except:
 print 0

진실을 위해 1을, 거짓을 위해 0을 사용합니다. a.uk는 오토바이 의류 회사로 리디렉션합니다. 변수에 할당하고 인쇄하여 3 바이트를 절약했습니다. 그리고 "to"를위한 ​​또 하나. 트릭 (urllib와 함께 작동하도록 확인 됨), 성가신 들여 쓰기를 제거하기위한 두 가지.

Julia + Bash (dnsutils 포함), 10 바이트

run(`dig`)

`command`julia에서는 cmd로 실행할 수 있는 객체를 만듭니다 run.

클로저, 49 바이트

#(try(slurp"http://to.")1(catch Exception _ nil))

1연결할 수 있는지 여부를 반환 합니다 nil.

단지 slurp페이지를 시도합니다 . NoRouteToHostException잡히면 실패에 대한 예외를 던집니다 .

불행히도, 프로토콜과 점은 필수 인 것 같습니다.

자바 스크립트 (Nashorn), 61 바이트

print(new java.net.InetSocketAddress("to.",80).getAddress())

Huntro의 Java 답변을 기반으로합니다.