Pop!_OS is an operating system for STEM and creative professionals who use their computer as a tool to discover and create. One of the most interesting features of the System76 operating system is the Pop Shell Auto-Tiling, an extension that brings to GNOME the classic feeling of tiling DE like i3 or others. Pop!_OS uses auto-tiling for the same reason[…]
Read moreTag: Shell
Theming Linux desktop environments like an artist
You know, one of the best things about Linux is the possibility of customization. You can effectively change everything of the operating system: the only limit is your fantasy. Compared to closed systems like macOS or Windows, Linux is completely customizable without any effort, you don’t have to hack anything, it’s all open and available to be modified, improved, reinterpreted.[…]
Read moreThe shell. Your interface to the Linux system
The shell is certainly one of the most significant programs of the Linux system as it allows the interfacing and the dialogue between user and system. Through the shell it is possible to issue commands to the system and it is also used as a programming environment through script shells that contain system commands. There are different types of shells,[…]
Read moreMove the Show Applications button at the top of Ubuntu dock
Ubuntu moved to GNOME Shell from Unity and thrown away the Unity7 and Unity8 shell. It means that users lost a lot of behaviours from the interface of the Unity shell, but in term of graphics, the two shells are pretty the same. One of the less important behaviours that changed is the position of the ‘Show Applications’ icon in[…]
Read more