Pinned Repositories
codelite
CodeLite, a cross platform C/C++/PHP and Node.js IDE written in C++
dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
EasyScreenCast
This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various settings of the desktop recording.
faenza-icon-theme
Faenza icons designed and developed by Matthieu James <matthieu.james@gmail.com>.
faenza-newvanilla-icon-theme
A more complete vanilla Faenza experience !
foxy-droid
Yet another F-Droid client
gnome-shell-extension-caffeine
Disable screensaver and auto suspend
gnome-shell-extension-clipboard-indicator
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.
gnome-shell-extension-openweather
A simple extension for displaying weather informations from several cities in GNOME Shell
gnome-shell-extension-panel-osd
Place gnome-shell notifications under the panel instead of above the message-tray.
shlinux's Repositories
shlinux/faenza-icon-theme
Faenza icons designed and developed by Matthieu James <matthieu.james@gmail.com>.
shlinux/codelite
CodeLite, a cross platform C/C++/PHP and Node.js IDE written in C++
shlinux/dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
shlinux/EasyScreenCast
This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various settings of the desktop recording.
shlinux/faenza-newvanilla-icon-theme
A more complete vanilla Faenza experience !
shlinux/foxy-droid
Yet another F-Droid client
shlinux/gnome-shell-extension-caffeine
Disable screensaver and auto suspend
shlinux/gnome-shell-extension-clipboard-indicator
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.
shlinux/gnome-shell-extension-openweather
A simple extension for displaying weather informations from several cities in GNOME Shell
shlinux/gnome-shell-extension-panel-osd
Place gnome-shell notifications under the panel instead of above the message-tray.
shlinux/gnome-shell-extension-suspend-button
GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12
shlinux/gnome-shell-extension-taskbar
GNOME Shell Extension TaskBar Version 52 for GNOME 3.10 - 3.20
shlinux/gnome-shell-extension-wbe
Apply effects to windows being in background
shlinux/gnome-shell-extensions-mediaplayer
A mediaplayer indicator for the gnome-shell.
shlinux/gnome-shell-teatime
shlinux/gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
shlinux/gse-disconnect-wifi
Gnome Shell Extension - Disconnect Wifi
shlinux/hidetopbar
Gnome 3 extension to hide the top bar except in overview mode
shlinux/iptux
A software for sharing in LAN
shlinux/kimpanel-for-gnome-shell
KDE kimpanel protocol for gnome shell
shlinux/msys2-mingw-shortcut-menus
Configuration files needed to set up right-click shortcut in context menus for MSYS2, MinGW32/64 bash
shlinux/ShutdownTimer
gnome-shell-extension
shlinux/supertux
SuperTux source code
shlinux/topicons
A GNOME shell extension to show legacy tray icons in the top bar.
shlinux/TopIcons-plus
shlinux/webmusic
A web based music player that integrates your favourite music service into the desktop.