Hacker GitHub

← All repos

pop-os/shell

View on GitHub ↗ ★ 5,286 TypeScript

Pop!_OS Shell

32 mentions on Hacker News by 31 people: 3 stories, 29 comments · first 2020-03-21 · latest 2024-08-30

Mentions per year 32 mentions · busiest year 2020 (10)
20082026
  1. > I love Gnome but I want (at least) quarter tiling This is what I've used Pop!'s Gnome extension ( https://github.com/pop-os/shell ) for in the past. I don't think it'll receive much love after Cosmic is released (after all, Gnome itself…
    comment by jeroenhd · 2024-08-28 · in COSMIC Alpha Released
  2. What is the state of tiling in Plasma 6 and how does it compare to Pop Shell ( https://github.com/pop-os/shell ) for GNOME?
  3. …moved from windows may find it useful, especially compared to usual learning curves of tiling wms. https://github.com/pop-os/shell#shared-features
  4. If you use gnome, I can recommend Pop-Shell https://github.com/pop-os/shell
    comment by polyamid23 · 2023-07-26 · in Rethinking Window Management
  5. …instructions & source available here: 1. https://support.system76.com/articles/pop-shell/ 2. https://github.com/pop-os/shell I use it as a daily driver on Debian 11. It's the best balance of tiling and "normal" desktop UI I've found so far.
    comment by pushfoo · 2023-07-26 · in Rethinking Window Management
  6. I quite like Pop!_OS Shell ( https://github.com/pop-os/shell ) for tiling on Gnome, it feels like the right compromise for me of tiling while still having access to a full DE. Seems that installing it on other distribution should be easy…
  7. …has instructions on how to use it on other distributions if you don't want to use Pop!_OS [2] [1] - https://github.com/pop-os/shell [2] - https://support.system76.com/articles/pop-shell/
  8. …approach of visually staying out of my way, but giving me a robust backend when I need it) [0] https://github.com/pop-os/shell [1] https://extensions.gnome.org/extension/3843/just-perfection/
  9. …Tumbleweed with GNOME, so I just need to sudo zypper install gnome-shell-extension-pop-shell wget https://github.com/pop-os/shell/raw/master_jammy/scripts/configure.sh # configure.sh mostly configures keyboard shortcuts. Inspect it before…
    comment by kccqzy · 2022-10-22 · in 5 Years of Pop _OS
  10. …having tiling in GNOME and being able to have all the stuff I don't like to manage just work. [1] https://github.com/pop-os/shell EDIT: minor grammar tweak
  11. https://github.com/pop-os/shell for the unaware!
  12. …with Pop Shell [1], an ambitious and well polished GNOME Shell extension inspired by i3wm. [1] https://github.com/pop-os/shell#readme
    comment by aendruk · 2022-05-21 · in HP Dev One Laptop with Pop_OS
  13. …designed around conventional sizes and aspec ratios are generally not well suites for TWMs. [0]: https://github.com/pop-os/shell
    comment by operator-name · 2022-02-23 · in Cardboard: a scrollable tiling window manager
  14. …that I find quite productive. The usual distros have it packaged in their repos. More info: https://github.com/pop-os/shell After installing the package, you’ll need to log out and back in and enable it in Extensions.
  15. …extension for GNOME Shell. Very little friction to test them out (if you're already running GNOME). https://github.com/pop-os/shell https://support.system76.com/articles/pop-shell/
    comment by perihelions · 2021-10-18 · in Pop OS – System76
  16. …anyone started with simple toggle on/off, customisation of shortcuts and available out of the box. https://github.com/pop-os/shell
    comment by nitinreddy88 · 2021-10-18 · in Pop OS – System76
  17. https://github.com/pop-os/shell You're wrong
    comment by fish45 · 2021-10-18 · in Pop OS – System76
  18. …weird bugs with it in Manjaro, it's probably going to be more unstable than PopOS's integration) https://github.com/pop-os/shell
    comment by logimame · 2021-06-30 · in Pop_OS 21.04
  19. …it just disappears behind the stack. Theres an open issue[1] but it hasn't been solved yet. [1]: https://github.com/pop-os/shell/issues/627
  20. …but the features mentioned in the article all come included in the pop shell gnome extension. https://github.com/pop-os/shell
  21. …Pop OS 20.10 right now. So in theory you just need to install the gnome extensions and you're good: https://github.com/pop-os/shell I've been using it for a year and love it--typing this reply in a browser window tiled next to a terminal.…
  22. there is pop shell as well https://github.com/pop-os/shell
    comment by Zizizizz · 2020-12-16 · in I3: Improved Tiling Window Manager
  23. …great [1]. I use it with PopOS but you can use the tiling Shell with other distros, Manjaro etc. 1: https://github.com/pop-os/shell
    comment by flurdy · 2020-12-16 · in I3: Improved Tiling Window Manager
  24. pop shell is one way to solve this problem https://github.com/pop-os/shell if you use pop os they also have a hidpi daemon
  25. …is keyboard driven window navigation and has the option to switch between tiling and floating mode. https://github.com/pop-os/shell
  26. …has one. There's an outstanding PR to add stacking to Pop Shell [0] that I'm hopeful about. [0] https://github.com/pop-os/shell
  27. …Shell [0] to add great tiling support for GNOME, but that goes for anyone using GNOME really [0] https://github.com/pop-os/shell If you like gaming though, I never tried setting up Steam or a ProtonDB game on Fedora to be able to report on…
  28. …(particularly Nvidia). Really solid stock UI, and it even comes with a tiling WM built in. https://github.com/pop-os/shell
    comment by gavinray · 2020-07-08 · in Linux Mint drops Ubuntu Snap packages
  29. …real gem in my opinion. It's very clearly a v1.0, but I am still surprised by how much I enjoy it: https://github.com/pop-os/shell
    comment by gurkendoktor · 2020-05-25 · in Try Linux