Projects
New Ticket     Wiki     Browse Source     Timeline     Roadmap     Bug Reports     Search

Ticket #15484 (new defect)

Opened 6 months ago

Last modified 7 weeks ago

post-commit lint script should handle Portfiles anywhere in repository

Reported by: ryandesign@… Owned by: ryandesign@…
Priority: Normal Milestone:
Component: server/hosting Version: 1.6.0
Keywords: Cc:
Port:

Description

If I commit changes to a Portfile in trunk/dports/*/* a script runs which checks the Portfile syntax and emails any errors to the committer and maintainer. But if I have a Portfile elsewhere in the repository, such as under users/*/*, then the script emails me an error instead: 

Portfile: pure-devel

Error: Unable to open port: Could not find Portfile in /tmp/mp_lint/36446/ryandesign/pure-devel

trunk/dports seems to be hardcoded into the script. But the script should support Portfiles, wherever in the repository they may be.

William said he doesn't have time to look into this right now so I may take a look.

Change History

Changed 7 weeks ago by wsiegrist@…

  • owner changed from wsiegrist@… to ryandesign@…

I've modified the lint script on the server. Please verify this is fixed next time you touch a Portfile outside of trunk/dports?

Note: See TracTickets for help on using tickets.