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.

Related tags

Video/Audio dash-to-dock
Overview

Dash to Dock

screenshot

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 launching of applications and a faster switching between windows and desktops without having to leave the desktop view.

For additional installation instructions and more information visit https://micheleg.github.io/dash-to-dock/.

This repository is based off of https://github.com/micheleg/dash-to-dock, to see the upstream source, visit that repository

Installation from source

The extension can be installed directly from source, either for the convenience of using git or to test the latest development version. Clone the desired branch with git

Build Dependencies

To compile the stylesheet you'll need an implementation of SASS. Dash to Dock supports dart-sass (sass), sassc, and ruby-sass. Every distro should have at least one of these implementations, we recommend using dart-sass (sass) or sassc over ruby-sass as ruby-sass is deprecated.

By default, Dash to Dock will attempt to build with sassc. To change this behavior set the SASS environment variable to either dart or ruby.

export SASS=dart
# or...
export SASS=ruby

Building

Clone the repository or download the branch from github. A simple Makefile is included.

Next use make to install the extension into your home directory. A Shell reload is required Alt+F2 r Enter under Xorg or under Wayland you may have to logout and login. The extension has to be enabled with gnome-extensions-app (GNOME Extensions) or with dconf.

git clone https://github.com/tau-OS/dash-to-dock.git
make
make install

Bug Reporting

Bugs should be reported to the Github bug tracker https://github.com/tau-OS/dash-to-dock/issues.

License

Dash to Dock Gnome Shell extension is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.

You might also like...

Meet Muffin - a multipurpose, customizable and open source Discord bot with bunch of useful features for your server!

Meet Muffin - a multipurpose, customizable and open source Discord bot with bunch of useful features for your server!

Meet Muffin - a multipurpose, highly customizable and open source Discord bot with bunch of useful features for your server! Self-hosting notice While

Oct 21, 2021

Tritan is a Discord.js bot that has many general-purpose features such as logging, moderation, image manipulation, music, and much more!

Tritan Bot Tritan Bot is a Discord Verified general purpose bot built with discord.js and express (yes, it has a dashboard included). Please read thro

Jul 3, 2022

Tritan is a Discord.js bot that has many general-purpose features such as logging, moderation, image manipulation, music, and much more!

Tritan Bot Tritan Bot is a Discord Verified general purpose bot built with discord.js and express (yes, it has a dashboard included). Please read thro

Nov 19, 2022

⚡ Discord bot with economy, gambling, music, fun, moderation features based on discord.js v12

⚡ Discord bot with economy, gambling, music, fun, moderation features based on discord.js v12

Crucian Crucian is my discord bot with simple structure based on discord.js Click Here to invite Crucian to your server Author Crucian © Apoo Authored

Jul 26, 2021

An adorable lavalink discord music bot that has a lot of features inside it.

An adorable lavalink discord music bot that has a lot of features inside it.

Laffey An adorable lavalink discord music bot that has a lot of features inside it. First Project of Weeb-Devs Features: ✓ High quality ✓ Support filt

Dec 31, 2022

Easy-to-use , actively maintained discord bot written in dJS V13 with customizable features

Easy-to-use , actively maintained discord bot written in dJS V13 with customizable features

Multi-purpose discord bot Found a bug? Notes There are some modules missing, you can still start the bot but there are some things within the source t

Nov 28, 2022

Setar-bot has many features, but to begin with, we would suggest

Setar-bot has many features, but to begin with, we would suggest

Setar-bot has many features, but to begin with, we would suggest, the bot has a mutli language system implanted in the source, so you can easily manage and add your own very language to the bot.

May 16, 2022

An example of poru lavalink client, lavalink music bot with so many features

Poru Music A Music Bot Template Based on Poru lavalink client ❤️ Features Poru wrapper based music client Rich audio quality music Inbuilt audio filte

Jan 1, 2023

TypeScript bot for auto-deleting of Telegram premium stickers with some interesting features based on the grammY library

anti-premium-stickers-bot TypeScript bot for auto-deleting of Telegram premium stickers with some interesting features based on the grammY library Thi

Dec 15, 2022
Comments
  • initialized but not working

    initialized but not working

    What Happened?

    hi, thank you for adopting "dash to dock" to v42 of gnome. my system is a debian/sid.

    Steps to Reproduce

    to the extension necessary installed packages:

    $ dpkg -l | grep -E "gnome-shell|sassc" 
ii  chrome-gnome-shell                       10.1-5                             all          GNOME Shell extensions integration for web browsers
ii  gnome-shell                              42.0-2                             amd64        graphical shell for the GNOME desktop
ii  gnome-shell-common                       42.0-2                             all          common files for the GNOME graphical shell
ii  gnome-shell-extension-prefs              42.0-2                             amd64        tool to enable / disable GNOME Shell extensions
ii  gnome-shell-extensions                   42.0-2                             all          Extensions to extend functionality of GNOME Shell
ii  sassc                                    3.6.1+20201027-2                   amd64        C/C++ port of the Sass CSS precompiler - command-line tool

    after 'make install' we see:

    $ gnome-extensions list
[email protected]
[email protected]
...

    and after a restart of GDM3:

    $ gnome-extensions info [email protected] 
[email protected]
  Name: Dash to Dock
  Description: A dock for the Gnome Shell. A modified version of the Dash to Dock extension for tauOS
  Path: /home/x/.local/share/gnome-shell/extensions/[email protected]
  URL: https://micheleg.github.io/dash-to-dock/
  Original author: [email protected]
  Version: 71
  State: INITIALIZED

    so it should work ... but we can not enable the "settings". the dotted icon in the dock is the same as in original gnome.

    Expected Behavior

    the dotted icon in gnome dash should enable "settings of dash-to-dock" while clicking right. what did i miss?

    tnx remotelink

    OS Version

    Other Linux

    Software Version

    Latest release (I have run all updates)

    Log Output

    no logs ...

    Hardware Info

    not relevant

    opened by remotelink 2
  • Add CodeQL workflow for GitHub code scanning

    Add CodeQL workflow for GitHub code scanning

    Hi tau-OS/dash-to-dock!

    This is a one-off automatically generated pull request from LGTM.com :robot:. You might have heard that we’ve integrated LGTM’s underlying CodeQL analysis engine natively into GitHub. The result is GitHub code scanning!

    With LGTM fully integrated into code scanning, we are focused on improving CodeQL within the native GitHub code scanning experience. In order to take advantage of current and future improvements to our analysis capabilities, we suggest you enable code scanning on your repository. Please take a look at our blog post for more information.

    This pull request enables code scanning by adding an auto-generated codeql.yml workflow file for GitHub Actions to your repository — take a look! We tested it before opening this pull request, so all should be working :heavy_check_mark:. In fact, you might already have seen some alerts appear on this pull request!

    Where needed and if possible, we’ve adjusted the configuration to the needs of your particular repository. But of course, you should feel free to tweak it further! Check this page for detailed documentation.

    Questions? Check out the FAQ below!

    FAQ

    Click here to expand the FAQ section

    How often will the code scanning analysis run?

    By default, code scanning will trigger a scan with the CodeQL engine on the following events:

    • On every pull request — to flag up potential security problems for you to investigate before merging a PR.
    • On every push to your default branch and other protected branches — this keeps the analysis results on your repository’s Security tab up to date.
    • Once a week at a fixed time — to make sure you benefit from the latest updated security analysis even when no code was committed or PRs were opened.

    What will this cost?

    Nothing! The CodeQL engine will run inside GitHub Actions, making use of your unlimited free compute minutes for public repositories.

    What types of problems does CodeQL find?

    The CodeQL engine that powers GitHub code scanning is the exact same engine that powers LGTM.com. The exact set of rules has been tweaked slightly, but you should see almost exactly the same types of alerts as you were used to on LGTM.com: we’ve enabled the security-and-quality query suite for you.

    How do I upgrade my CodeQL engine?

    No need! New versions of the CodeQL analysis are constantly deployed on GitHub.com; your repository will automatically benefit from the most recently released version.

    The analysis doesn’t seem to be working

    If you get an error in GitHub Actions that indicates that CodeQL wasn’t able to analyze your code, please follow the instructions here to debug the analysis.

    How do I disable LGTM.com?

    If you have LGTM’s automatic pull request analysis enabled, then you can follow these steps to disable the LGTM pull request analysis. You don’t actually need to remove your repository from LGTM.com; it will automatically be removed in the next few months as part of the deprecation of LGTM.com (more info here).

    Which source code hosting platforms does code scanning support?

    GitHub code scanning is deeply integrated within GitHub itself. If you’d like to scan source code that is hosted elsewhere, we suggest that you create a mirror of that code on GitHub.

    How do I know this PR is legitimate?

    This PR is filed by the official LGTM.com GitHub App, in line with the deprecation timeline that was announced on the official GitHub Blog. The proposed GitHub Action workflow uses the official open source GitHub CodeQL Action. If you have any other questions or concerns, please join the discussion here in the official GitHub community!

    I have another question / how do I get in touch?

    Please join the discussion here to ask further questions and send us suggestions!

    opened by lgtm-com[bot] 0
  • [ImgBot] Optimize images

    [ImgBot] Optimize images

    Beep boop. Your images are optimized!

    Your image file size has been reduced by 45% 🎉

    Details

    | File | Before | After | Percent reduction | |:--|:--|:--|:--| | /media/highlight_stacked_bg.svg | 2.10kb | 0.54kb | 74.01% | | /media/highlight_stacked_bg_h.svg | 2.10kb | 0.55kb | 73.96% | | /media/glossy.svg | 4.26kb | 1.92kb | 55.04% | | /media/logo.svg | 26.09kb | 16.11kb | 38.24% | | | | | | | Total : | 34.55kb | 19.12kb | 44.66% |

    📝 docs | :octocat: repo | 🙋🏾 issues | 🏪 marketplace

    ~Imgbot - Part of Optimole family

    opened by imgbot[bot] 0
Owner
tauOS
Form. Function. Elegance.
tauOS
GitHub
HTML5

One file. Any browser. Same UI. Author: John Dyer http://j.hn/ Website: http://mediaelementjs.com/ License: MIT Meaning: Use everywhere, keep copyrigh

MediaElement.js 8k Jan 8, 2023
Flexible and easy Dash/HLS/DRM integration for HTML5 video.

This project is made possible with Plyr, Hls.js, Dash.js. Features ?? HLS and DASH playback ?? Multi quality supported ?? Drm with custom header suppo

Tuhin Kanti Pal 25 Nov 11, 2022
A Spicetify extension to announce song details, time and local weather in-between tracks.

Spicetify Announcer A Spicetify extension to announce song details, time and local weather in-between tracks. Spicetify Announcer uses Amazon Polly se

Rafael Lüder 3 Apr 25, 2022
A Discord bot designed to build better communities by encouraging a positive and constructive relationship between community and staff.

Suggestions A Discord bot designed to build better communities by encouraging a positive and constructive relationship between community and staff. St

Suggestions 4 Dec 24, 2022
A Discord bot library to make the development of a bot a little bit easier.

Discord Bot Framework (DBF) A basic Discord bot framework to allow for easier creation of bots. With this library, you can easily parse and handle com

Yoo-Babobo 1 Dec 23, 2021
A program that makes scripting videos easier.

A program that makes scripting videos easier. Scripts can be written using only the keyboard.

Samuel Albert 18 Jun 22, 2022
A utility package for making discord-bot commands much easier to write with discord.js.

Cordcommand About A utility package for making discord-bot commands much easier to write with discord.js. Usage Example // initiate discord.js client

Reinforz 15 Sep 15, 2022
A utility package for making discord-bot commands much easier to write with discord.js.

Cordmand About A utility package for making discord-bot commands much easier to write with discord.js. Usage Example Install this package: npm i @rein

Reinforz 15 Sep 28, 2022
Discord.js V14 Slash-Command and Context-Menu Handler. Most efficient and advanced Handler out there!

Base discord.js v14 Command Handler Written by Tomato6966 Made for Deezcord Features ✔ Slash Commands ✔ Sub-Slash Commands ✔ Group-Sub-Slash Commands

Tomato6966 9 Dec 21, 2022
Page which displays online Lanyard users out of total, and has watched user cards.

Lanyard Online Users Displays usage of Lanyard profile cards. Working on moving the card to a drop-in react component and then will soon be making an

Dustin Rouillard 9 Oct 5, 2022