michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-05-04 22:30:33 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Add raspberry pi as server type

Browse Source
This commit is contained in:
Jamie Cameron
2018-11-24 15:36:01 -08:00
parent 11cf2f408c
commit 6cdf4c1175
2 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
servers/images/pi.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 2.1 KiB

1
servers/servers-lib.pl
View File

@@ -36,6 +36,7 @@ our @server_types = (
[ 'fedora', 'Fedora Linux', undef, 'Fedora' ],
[ 'redflag', 'Red Flag Linux', undef, 'RedFlag' ],
[ 'amazon', 'Amazon Linux', undef, 'Amazon' ],
[ 'pi', 'Raspbian Linux', undef, 'Raspbian' ],
# Linux variants with a type code
[ 'cobalt', 'Cobalt Linux', 'cobalt-linux' ],