Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gtk-doc file names conflict with gtk-layer-shell #13

Closed
ainola opened this issue Apr 22, 2023 · 6 comments · Fixed by #14
Closed

gtk-doc file names conflict with gtk-layer-shell #13

ainola opened this issue Apr 22, 2023 · 6 comments · Fixed by #14

Comments

@ainola
Copy link
Contributor

ainola commented Apr 22, 2023

If there's going to be a separate repository for the gtk4 variant, then it would be nice if both gtk-layer-shell and gtk4-layer-shell could co-exist. Presently, the following files conflict:

  • /usr/share/gtk-doc/html/gtk-layer-shell/api-index-full.html
  • /usr/share/gtk-doc/html/gtk-layer-shell/gtk-layer-shell.devhelp2
  • /usr/share/gtk-doc/html/gtk-layer-shell/home.png
  • /usr/share/gtk-doc/html/gtk-layer-shell/index.html
  • /usr/share/gtk-doc/html/gtk-layer-shell/left-insensitive.png
  • /usr/share/gtk-doc/html/gtk-layer-shell/left.png
  • /usr/share/gtk-doc/html/gtk-layer-shell/right-insensitive.png
  • /usr/share/gtk-doc/html/gtk-layer-shell/right.png
  • /usr/share/gtk-doc/html/gtk-layer-shell/style.css
  • /usr/share/gtk-doc/html/gtk-layer-shell/up-insensitive.png
  • /usr/share/gtk-doc/html/gtk-layer-shell/up.png
ainola added a commit to ainola/gtk4-layer-shell that referenced this issue Apr 22, 2023
If there's going to be a separate repository for the gtk4 variant, then
it would be nice if both gtk-layer-shell and gtk4-layer-shell could
co-exist.

Fixes wmww#13
@wmww wmww closed this as completed in #14 Apr 24, 2023
@SilverRainZ
Copy link

Hi @wmww, I am making an archlinux package (AUR) for gtk4-layer-shell. I hope we can have a new release so it can be installed together with gtk-layer-shell.

@SilverRainZ
Copy link

@wmww
Copy link
Owner

wmww commented Apr 29, 2023

I'll do that, but it will likely be a week or two as I'm busy with a work event next week.

@ainola
Copy link
Contributor Author

ainola commented Apr 29, 2023 via email

@SilverRainZ
Copy link

ping~ can we get a release recently? :D

@wmww
Copy link
Owner

wmww commented Jul 2, 2023

Done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants