View Issue Details

IDProjectCategoryView StatusLast Update
0002366Kali LinuxTool Upgrade Requestpublic2018-06-09 19:24
Reporterrhertzog Assigned Tosbrun  
PrioritynormalSeverityminorReproducibilityalways
Status resolvedResolutionfixed 
Product Versionkali-dev 
Fixed in Versionkali-dev 
Summary0002366: Update gnome-shell extensions in kali-dev
Description

The following source packages need to be updated/reviewed for GNOME Shell 3.16 in kali-dev:
gnome-shell-extensions
gnome-shell-extension-dashtodock
gnome-shell-extension-easyscreencast
gnome-shell-extension-workspacestodock
gnome-shell-extension-proxyswitcher
gnome-shell-extension-refreshwifi

This is currently blocking the migration of GNOME Shell 3.16 to kali-rolling.

Activities

sbrun

sbrun

2015-07-06 14:10

manager   ~0003474

gnome-shell-extensions: updated to 3.16.2-1kali1
gnome-shell-extension-dashtodock: updated to 46-0kali1 compatible with gnome-shell 3.16
gnome-shell-extension-easyscreencast: updated to 0.9.7.1-0kali1 compatible with gnome-shell 3.16
gnome-shell-extension-workspacestodock: updated to 29-0kali1 compatible with gnome-shell 3.16
the two other extensions were already compatible with gnome-shell 3.16

Issue History

Date Modified Username Field Change
2015-06-30 13:21 rhertzog New Issue
2015-06-30 13:21 rhertzog Status new => assigned
2015-06-30 13:21 rhertzog Assigned To => sbrun
2015-07-06 14:10 sbrun Note Added: 0003474
2015-07-06 14:10 sbrun Status assigned => resolved
2015-07-06 14:10 sbrun Resolution open => fixed
2015-07-06 14:10 sbrun Fixed in Version => kali-dev
2021-05-31 13:37 rhertzog Category Tool Upgrade => Tool Upgrade Request