Another Drop Down Terminal Extension for GNOME Shell

Guilhem Lettron

Last update: Apr 6, 2022

Overview

Another Drop Down Terminal Extension for GNOME Shell

Inspired by

Distinguishing features

Runs on Wayland natively
Terminal window can be resized by dragging the border with mouse
Preferences window with a lot of different settings

Review by TechHut

Installing

The easiest way to install the extension is to go to extensions.gnome.org.

However, review process on extensions.gnome.org is kinda slow, so a new release may be available here on GitHub, but not on extensions.gnome.org yet.

If you want to install from GitHub: see docs/INSTALL.md

Toggle the terminal through D-Bus

It's possible to toggle the terminal externally through D-Bus. For example, from command line:

$ gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell/Extensions/ddterm --method com.github.amezin.ddterm.Extension.Toggle

Chrome extension that creates a button on Lever job application pages which shows you how their api parses your resume.

EDIT I have helped make a website that provides the same functionality. Repo: https://github.com/KnlnKS/resume-parser Site: https://resume-parser.verc

May 19, 2022

A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.

Panel corners A GNOME shell extension to keep the old topbar corners, which were removed for GNOME 42. It also allows you to customize the rounded cor

Dec 10, 2022

GNOME Shell extension to integrate Plank, the simplest dock on the planet.

Dash to Plank Gnome Shell extension to integrate Plank, the simplest dock on the planet. To use this extension you must install Plank on your system.

Dec 9, 2022

Extension personnelle pour GNOME SHELL

Extension perso GNOME Extension personnelle pour GNOME SHELL qui affiche des vues différentes dans la barre des tâches. Les vues affichent des informa

Nov 13, 2022

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. Features modifications for tauOS.

Dash to Dock A dock for the GNOME Shell This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier lau

Jul 10, 2022

Gnome Shell extension to provide a flexible applications dock (WIP).

Flexi Dock (WIP) Gnome Shell extension to provide a flexible applications dock. Installation The easiest way to install this extension is via the offi

Aug 29, 2022

GNOME Shell extension for controling Lenovo IdeaPad laptops options.

IdeaPad Controls GNOME Shell extension for controling Lenovo IdeaPad laptops options. Available options: Conservation Mode, Camera Lock, Fn Lock, Touc

Dec 23, 2022

Open apps directly in GNOME Software by clicking Install from Flathub and apps.gnome.

Flatline Open apps directly in GNOME Software by clicking Install from Flathub and apps.gnome. Load the extension in Firefox Clone the repository Open

Nov 7, 2022

Open apps directly in GNOME Software by clicking Install from Flathub and apps.gnome.

Flatline Open apps directly in GNOME Software by clicking Install from Flathub and apps.gnome. Instalation Enable Epiphany extension. Optional if not

Sep 2, 2022

A simple menubar app for GNOME Shell that tracks how long you've been using your computer uninterruptedly

Welcome to Since Indicator 👋 🏠 Homepage Since Indicator is a simple menubar app for GNOME Shell that tracks how long you've been using your computer

Oct 20, 2022

A gnome-shell extensions that try to add rounded corners for all windows

Rounded Window Corners A gnome-shell extensions that try to add rounded corners for all windows Features Works with Gnome 40/41/42 Custom border radiu

Jan 3, 2023

Superfish is a jQuery plugin that adds usability enhancements to existing multi-level drop-down menus.

jQuery Superfish Dropdown Menu Plugin Our favourite aquatic superhero returns from his sojourn across the galaxy infused with astonishing, hitherto un

Dec 9, 2022

shell script replacement; write shell scripts in js instead of bash, then run them with a single static binary

yavascript YavaScript is a bash-like script runner which is distributed as a single statically-linked binary. Scripts are written in JavaScript. There

Dec 29, 2022

Bitcoin terminal tracker is a terminal app which allow you to track bitcoin price from your terminal

BTC Terminal Tracker Bitcoin terminal tracker is a terminal app which allow you to track bitcoin price from your terminal. In this version (V1.2) I ch

Jul 27, 2022

Grupprojekt för kurserna 'Javascript med Ramverk' och 'Agil Utveckling'

JavaScript-med-Ramverk-Laboration-3 Grupprojektet för kurserna Javascript med Ramverk och Agil Utveckling. Utvecklingsguide För information om hur utv

May 18, 2022

Hemsida för personer i Sverige som kan och vill erbjuda boende till människor på flykt

Getting Started with Create React App This project was bootstrapped with Create React App. Available Scripts In the project directory, you can run: np

May 3, 2022

Kurs-repo för kursen Webbserver och Databaser

Webbserver och databaser This repository is meant for CME students to access exercises and codealongs that happen throughout the course. I hope you wi

Jan 3, 2023

Execute shell commands in terminal

Dec 11, 2021

A Kubernates Cloud-Shell (Web Terminal) Operator

A Kubernates Cloud-Shell (Web Terminal) Operator. English | Simplified_Chinese Why cloudtty ? Existing project ttyd already provides great feature to

Dec 27, 2022

Comments

Error on settings

The settings of extension [email protected] had an error:

Error: Argument object may not be null

Stack trace:

createCheckedMethod/<@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:533:46
settings_bind@/home/guilhem/.local/share/gnome-shell/extensions/[email protected]/util.js:84:23
_init@/home/guilhem/.local/share/gnome-shell/extensions/[email protected]/prefs.js:199:22
PrefsWidget@/home/guilhem/.local/share/gnome-shell/extensions/[email protected]/prefs.js:154:9
buildPrefsWidget@/home/guilhem/.local/share/gnome-shell/extensions/[email protected]/prefs.js:656:20
_init@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:32:44
ExtensionPrefsDialog@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:10:4
OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:129:33
asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:186:20
main@resource:///org/gnome/Shell/Extensions/js/main.js:21:13
run@resource:///org/gnome/gjs/modules/script/package.js:206:19
start@resource:///org/gnome/gjs/modules/script/package.js:190:8
@/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17

opened by guilhem 0