FS#79125 - [texlive-doc] 2023.66594-17 file conflicts with dvisvgm and others
Attached to Project:
Arch Linux
Opened by Alberto Jiménez Ruiz (albjimrui) - Monday, 17 July 2023, 09:37 GMT
Last edited by Antonio Rojas (arojas) - Monday, 17 July 2023, 22:07 GMT
Opened by Alberto Jiménez Ruiz (albjimrui) - Monday, 17 July 2023, 09:37 GMT
Last edited by Antonio Rojas (arojas) - Monday, 17 July 2023, 22:07 GMT
|
Details
Description:
Can't install both texlive-doc and dvisvgm with pacman. Additional info: * package version(s): texlive-doc 2023.66594-17 * dvisvgm 3.1-2 Steps to reproduce: * After updating with "pacman -Syu", the package texlive-doc-2023.66594-17 could not be installed due to conflicts with dvisvgm 3.1-2. * The conflicting file according to pacman is "/usr/share/man/man1/dvisvgm.1.gz", which is already provided by dvisvgm |
This task depends upon
Closed by Antonio Rojas (arojas)
Monday, 17 July 2023, 22:07 GMT
Reason for closing: Fixed
Additional comments about closing: texlive-doc 2023.66594-18
Monday, 17 July 2023, 22:07 GMT
Reason for closing: Fixed
Additional comments about closing: texlive-doc 2023.66594-18
```
#! /bin/bash
# Needs a recent run of: sudo pacman -Fy
package=texlive-doc
export LANG=C
IFS=$'\n'
man_info_files=($(pacman -Flq $package | \
grep -E '/(man|info)/.*[^/]$'))
man_info_files=(${man_info_files[@]/#//}) # prepend /
pacman -F "${man_info_files[@]}" | \
awk "\$5 !~ /\/$package\$/"
```
Here is its output:
```
usr/share/info/asy-faq.info.gz is owned by extra/asymptote 2.86-2
usr/share/man/man1/asy.1.gz is owned by extra/asymptote 2.86-2
usr/share/man/man1/dvisvgm.1.gz is owned by extra/dvisvgm 3.1-2
usr/share/man/man1/epsffit.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/extractres.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/git-latexdiff.1.gz is owned by extra/git-latexdiff 1.6.0-1
usr/share/man/man1/includeres.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/psbook.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/psjoin.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/psnup.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/psresize.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/psselect.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/pstops.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/psutils.1.gz is owned by extra/psutils 2.10-1
usr/share/man/man1/t1ascii.1.gz is owned by extra/t1utils 1.42-2
usr/share/man/man1/t1asm.1.gz is owned by extra/t1utils 1.42-2
usr/share/man/man1/t1binary.1.gz is owned by extra/t1utils 1.42-2
usr/share/man/man1/t1disasm.1.gz is owned by extra/t1utils 1.42-2
usr/share/man/man1/t1mac.1.gz is owned by extra/t1utils 1.42-2
usr/share/man/man1/t1unmac.1.gz is owned by extra/t1utils 1.42-2
```
The most hilarious one is /usr/share/man/man1/Makefile.gz, which should not be there, I guess.
And there are *.man1.pdf* versions which are probably just redundant.
Their automatic compression to .gz makes no sense.
I think those should be removed as well.
This would be a robust way to avoid hard file conflicts now and in the future.