Community Packages

Please read this before reporting a bug:

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

FS#69094 - [nginx-mainline-src] Should install to different dir than nginx-src

Attached to Project: Community Packages
Opened by Ricardo (RiCON) - Friday, 25 December 2020, 02:33 GMT
Last edited by Giancarlo Razzolini (grazzolini) - Tuesday, 09 March 2021, 16:39 GMT
Task Type Feature Request
Category Packages
Status Closed
Assigned To Giancarlo Razzolini (grazzolini)
Architecture All
Severity Very Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No


At the moment, both nginx-src and nginx-mainline-src can be installed at the same time, but the second installation will overwrite the other's.

I would suggest either installing to a different directory (maybe usr/src/nginx-mainline instead), or nginx-mainline-src should conflict with nginx-src.
This should be probably be done before nginx-mainline-mod packages start depending on this.

Additional info:
nginx-mainline-src 1.19.6-2, nginx-src 1.18.0-2
This task depends upon

Closed by  Giancarlo Razzolini (grazzolini)
Tuesday, 09 March 2021, 16:39 GMT
Reason for closing:  Implemented
Additional comments about closing:  nginx-mainline-src-1.19.8-1 conflicts on nginx-src now.
Comment by Doug Newgard (Scimmia) - Friday, 25 December 2020, 13:30 GMT
One will not overwrite the other, pacman will just fail. They should probably be listed as conflicting. As you can't have nginx and nginx-mainline at the same time anyway, is there any reason you would need nginx-src and nginx-mainline-src at the same time?
Comment by Ricardo (RiCON) - Friday, 25 December 2020, 13:39 GMT
Actually yeah, it's arguably good that they install to the same place and conflict/provide `nginx-src`.

There would be no need for different AUR packages for nginx and nginx-mainline for the plugins. It would only depend on whether you install `nginx-src` or `nginx-mainline-src`.
Comment by Giancarlo Razzolini (grazzolini) - Friday, 25 December 2020, 17:38 GMT
I'll change nginx-mainline-src to conflict on nginx-src. But both should be installed to the same place, otherwise plugins will have to be changed to look somewhere else for the source.