juanejot

Pinned Repositories

• ble.sh

  Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.

  Language:Shell2.4k2738477

• 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.

  Language:JavaScript3.8k711.7k463

• Orchis-theme

  Orchis is a [Material Design](https://material.io) theme for GNOME/GTK based desktop environments.

  Language:SCSS2.8k22424215

juanejot's Repositories