Dash to Dock VS RobinPowered

My guess would be not many... I know for a fact that at least in my workplace, where most/all dev boxes are running some form of Ubuntu LTS, most of my colleagues who run GNOME are either running Ubuntu's standard desktop (which features a custom version of the Dash to Dock extension) or customize it with the Dash to Panel extension, both of which (but specially the latter) completely ditch GNOME's "intended"... Source: over 1 year ago

It depends on what dock you are using and the shell theme. On Ubuntu vanilla they use gnome-shell-extension-ubuntu-dock which is a fork of dash-to-dock. Almost all the available docks for GNOME were forked from dash-to-dock, which looks like the one you're using. Source: over 2 years ago

You can get it from the git - https://micheleg.github.io/dash-to-dock/. Source: about 3 years ago

When you install the Dash to Dock extension (https://micheleg.github.io/dash-to-dock/) you can adjust it in the extensions settings. Source: about 3 years ago

We're in an office/studio situation and started using Robin during COVID https://robinpowered.com/ Hope this helps. Source: 11 months ago

Https://robinpowered.com/ Not sure on multi tenant but I would guess it would. I had a client use this for booking their flex workspaces. Source: about 1 year ago

I've used Robin robinpowered.com and liked it a lot at the time. It looks like they've expanded to handle hotdesking as well. Source: about 1 year ago

We use https://robinpowered.com/ also does our conference room schedule displays. Source: almost 3 years ago

Robin and Envoy have some nice new workplace features like that. SSO and everything, connects to your calendars, but also to room schedulers, way finders, and desk sign systems too. Https://robinpowered.com Https://envoy.com. Source: almost 3 years ago