Skip to content

Commit

Permalink
Remove toggle.sh
Browse files Browse the repository at this point in the history
Not allowed on extensions.gnome.org
  • Loading branch information
amezin committed Apr 27, 2021
1 parent 93c1595 commit 834f7ae
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 11 deletions.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ DEFAULT_SOURCES := extension.js prefs.js metadata.json

EXTRA_SOURCES := $(filter-out test-prefs-gtk4.js,$(wildcard *.js *.css))
EXTRA_SOURCES += com.github.amezin.ddterm com.github.amezin.ddterm.Extension.xml
EXTRA_SOURCES += menus.ui toggle.sh
EXTRA_SOURCES += menus.ui

EXTRA_SOURCES := $(filter-out $(DEFAULT_SOURCES), $(sort $(GENERATED_SOURCES) $(EXTRA_SOURCES)))

Expand Down
6 changes: 0 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -37,9 +37,3 @@ 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

Or you can use the script

$ ~/.local/share/gnome-shell/extensions/[email protected]/toggle.sh

if that's more convenient.
4 changes: 0 additions & 4 deletions toggle.sh

This file was deleted.

0 comments on commit 834f7ae

Please sign in to comment.