1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

Easy way to update gnome-shell-extensions

Discussion in 'Linux & Open Source' started by Ice Tea, Nov 14, 2018.

  1. Ice Tea

    Mobster

    Joined: Nov 1, 2004

    Posts: 2,809