As one of the most lightweight and flexible Linux distros around, Peppermint OS has been a good choice for those who want a Linux distro that takes up less space, with the freedom to tweak their experience as they like.
However, it seems that was not the end of it. The developers have introduced a new variant of Peppermint OS “Peppermint Mini” that allows for more control over the distro with a tiny ISO size.
Allow me to show you around.
Peppermint Mini: What to Expect?
Peppermint Mini is an alternative to the fully-fledged Peppermint OS ISOs that comes in at a very compact 100-180 MB size. These “Mini” builds use the Debian installer for performing a net installation.
According to the developer:
These builds are intended for that user who really wants to control how their installs are conducted.
If you are familiar with the Debian installer you will be right at home here, but with a Peppermint take…
They have made 32-bit/64-bit builds in two distinct flavors, Debian and Devuan.
The installer follows a familiar approach to what you find on the main Peppermint OS builds, but with the difference being in the ability to choose things such as the desktop environment, the init system, zonedstorage server, and more.
Interested in a sneak peek?
Well, I took the Devuan flavored mini ISO for a test run, and I was impressed. Allow me to show you what Peppermint Mini has to offer.
When I started the installation, the usual Language/Region options showed up, after setting that up, the installer started to configure the network automatically.
It then presented me with mirrors from around the world to download the Devuan archive.
I picked the recommended one – 'deb.devuan.org' mirror, so I went with it.
The installer began to install the key installer components, it was slightly slow for me. You can try a different mirror of your country to get faster speeds.
But, that could depend on the routing of your ISP, so I can't blame the servers.
Post that, I was able to set up the root password, user, and the user password. This was the same as on the conventional build of Peppermint OS.
After all that, the Partition disks step showed up, I chose the 'Guided' mode, and it took me through allocating spaces without any issues. Again, this was the same as on the usual installer.
The base system started installing, and it took its time, but it was done. Though, the 'Debian' variant was faster on this stage when I had tried that out.
Thereafter, I got the options to select the software I wanted on the system. I went with the pre-selected options, as you can see below.
There were also options for other desktop environments such as Xfce, Budgie, GNOME, MATE, LXDE and LXQt.
I could also opt for zonedstorage server, web server, and SSH server, but I skipped over those.
As I was installing the Devuan flavor of Peppermint Mini, I got options to choose from three different init systems, sysvinit, openrc, and runit. Whereas, for Debian, there was only systemd.
Of course, if you do not want systemd, there are other systemd-free distros as well.
Suggested Read 📖
The installation got completed quite smoothly thereafter, and I was able to boot into Peppermint OS without any hiccups.
So, wrapping up.
Peppermint Mini can be a viable option if you want more control over your Peppermint OS installation. Just ensure that your internet connection is up to the job.
You can go through the official announcement to know more about it.
📥 Get Peppermint Mini
You can get 32-bit and 64-bit versions of Peppermint Mini in either Debian or Devuan flavors. I highly suggest you head over to the official website and grab the image of your choice.
Remember to scroll down to the “MINI – BUILDS” section to get these.