inf-schule.de/tools/ping → Ping-Tool

Ping Tool

Bekannte Befehle: ping [url/ip], clear
Ausgeführte Befehle können über die Pfeiltaste nach oben erneut aufgerufen werden

const tool__content_height = () => { const doc = document.documentElement; doc.style.setProperty('--tool__content_height', `${window.innerHeight}px`); }; window.addEventListener('resize', tool__content_height); tool__content_height();