tagplus5 / vscode-ppaLinks
Visual Studio Code PPA
☆86Updated last year
Alternatives and similar repositories for vscode-ppa
Users that are interested in vscode-ppa are comparing it to the libraries listed below
Sorting:
- Quite dark Plank theme.☆48Updated 2 years ago
- Nautilus/Nemo extension to add important information about the current git directory☆151Updated 6 years ago
- A flat theme for GNOME & Xfce4☆208Updated 10 months ago
- NoAnnoyance extension for GNOME Shell – Disable the “Window is ready” notification.☆69Updated 2 years ago
- Flagship desktop of the BuddiesOfBudgie - Ubuntu Budgie manages the debian packaging only☆62Updated 3 weeks ago
- GNOME Shell Ubuntu community theme "communitheme"☆146Updated 7 years ago
- GNOME Shell Extension TaskBar☆151Updated 3 years ago
- PKGBUILD's for antergos packages☆112Updated 6 years ago
- This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various setting…☆409Updated 5 months ago
- appimaged is a daemon that monitors the system and integrates AppImages.☆300Updated 4 years ago
- STATUS: DEVELOPMENT PAUSED ⏸️ - Configure dark and deep aspects in your Ubuntu☆83Updated 4 years ago
- A tool to configure GTK theme colors.☆89Updated 7 years ago
- Community run Fork of wmail - https://github.com/Thomas101/wmail☆70Updated 5 years ago
- Command-line tool for migrating system settings and data for distributions based on Debian, Arch and Fedora. Can backup and restore softw…☆145Updated 6 years ago
- GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intu…☆120Updated 4 years ago
- Papirus theme for LibreOffice☆146Updated 5 years ago
- An efficient menu for the MATE Desktop☆139Updated 6 years ago
- Faba is a sexy and modern icon theme with Tango influences.☆73Updated 7 years ago
- A tiny script that helps you perform necessary tasks after you install elementary OS.☆20Updated 8 years ago
- Gnome Shell Extensions etc...☆67Updated 4 years ago
- Gnome-Shell wallpaper changing extension with multiple profile support☆79Updated last month
- Advanced audio-video converter for Linux with support for modern audio and video formats like HEVC, OPUS, WEBM, etc. Can be used in scrip…☆87Updated 5 years ago
- Gnome Email Notifications☆86Updated 2 years ago
- Download Google webfonts on the Linux desktop☆90Updated 4 years ago
- Emoji picker for Ubuntu based on icons by Emojione☆238Updated 3 years ago
- The GNOME Shell theme for Pop!_OS☆34Updated 5 years ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆261Updated last year
- PKGBUILD repository☆136Updated 5 years ago
- Gnome Shell extension for displaying resource usage☆92Updated 4 months ago
- Manage GNOME Shell applications folders☆105Updated last year