Blog

In this tutorial we learn how to install proofgeneral-doc on Ubuntu. proofgeneral-doc is generic frontend for proof assistants - documentation

In this tutorial we learn how to install proofgeneral on Ubuntu. proofgeneral is generic frontend for proof assistants

In this tutorial we learn how to install pronterface on Ubuntu. pronterface is Graphical 3D printer host

In this tutorial we learn how to install pronsole on Ubuntu. pronsole is Command-line 3D printer host

In this tutorial we learn how to install prometheus-xmpp-alerts on Ubuntu. prometheus-xmpp-alerts is web hook that forwards prometheus alerts over XMPP

In this tutorial we learn how to install prometheus-varnish-exporter on Ubuntu. prometheus-varnish-exporter is Prometheus exporter for Varnish

In this tutorial we learn how to install prometheus-trafficserver-exporter on Ubuntu. prometheus-trafficserver-exporter is Prometheus exporter for Apache Traffic Server

In this tutorial we learn how to install prometheus-tplink-plug-exporter on Ubuntu. prometheus-tplink-plug-exporter is Prometheus exporter for TP-Link Smart plug metrics

In this tutorial we learn how to install prometheus-squid-exporter on Ubuntu. prometheus-squid-exporter is Prometheus exporter for Squid proxy servers

In this tutorial we learn how to install prometheus-sql-exporter on Ubuntu. prometheus-sql-exporter is Flexible SQL Exporter for Prometheus

In this tutorial we learn how to install prometheus-snmp-exporter on Ubuntu. prometheus-snmp-exporter is Prometheus exporter for SNMP-enabled devices

In this tutorial we learn how to install prometheus-smokeping-prober on Ubuntu. prometheus-smokeping-prober is Prometheus style smokeping prober