View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0002330Kali LinuxQueued Tool Additionpublic2015-06-12 13:142021-05-18 11:02
Reporterrhertzog Assigned Tosbrun  
PrioritynormalSeverityminorReproducibilityalways
Status resolvedResolutionfixed 
Product Versionkali-dev 
Fixed in Versionkali-dev 
Summary0002330: Please package workspaces-to-dock (GNOME Shell Extension)
Description

https://extensions.gnome.org/extension/427/workspaces-to-dock/

And make sure it's installed by default via kali-desktop-gnome but it should not be enabled by default as it's quite resource intensive apparently.

Activities

sbrun

sbrun

2015-06-19 07:37

manager   ~0003417

package is now in kali-rolling.
kali-desktop-gnome version 1.67 installed the package.

Issue History

Date Modified Username Field Change
2015-06-12 13:14 rhertzog New Issue
2015-06-12 13:14 rhertzog Status new => assigned
2015-06-12 13:14 rhertzog Assigned To => sbrun
2015-06-19 07:37 sbrun Note Added: 0003417
2015-06-19 07:37 sbrun Status assigned => resolved
2015-06-19 07:37 sbrun Resolution open => fixed
2015-06-19 07:37 sbrun Fixed in Version => kali-dev
2021-05-18 11:02 g0tmi1k Category New Tool Requests => Queued Tool Addition