欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Webmin
来自开放百科 - 灰狐
安装指南
Debian用户
#apt-get install webmin webmin-core vi /etc/webmin/ miniserv.conf file change the “allow” option allow=127.0.0.1 to allow=0.0.0.0
#/etc/init.d/webmin restart
https://localhost:10000 and you can login using the debian linux root as username and password for root.
分享您的观点