Full pathnames

Branches are simple, but more complex than head

I used to think branches were simple when it came to FreshPorts, but I was wrong. Consider slave ports for example. If we get a commit for databases/mariadb100-server, we have to update the slave ports, but only the slave ports on the branch, not the slave ports on head. That sounds easy enough, but keep …

Branches are simple, but more complex than head Read More »

cache invalidation

Today, kwm mentioned that http://www.freshports.org/Mk/bsd.port.mk was out of date, showing the most recent commit as back in March. My first concern was the system had stopped recording such commits. To check on that, I looked at https://svnweb.freebsd.org/ports/head/Mk/bsd.port.mk and searched my email for the most recent commit message. Extracting the message id from that email, I …

cache invalidation Read More »

An index can make all the difference

Before the last post was published, I forgot to add in the fix for the pathname problem. freshports.org=# select ElementPathnameUpdateChildren(453745); It run. A long time. I let it run. For hours. About 16 hours. Then I killed it. I checked the procedure. It made sense. Then I checked the update statement: freshports.org=# explain analyse UPDATE …

An index can make all the difference Read More »

Creating the new repo base directories

I started looking at how to create these new directories as mentioned yesterday. This starts the process: $ psql freshports.org psql (9.0.8, server 9.0.9) Type “help” for help. freshports.org=# select Element_Add(‘/base/head’, ‘D’); element_add ————- 453742 (1 row) freshports.org=# select Element_Add(‘/doc/head’, ‘D’); element_add ————- 453743 (1 row) freshports.org=# select Element_Add(‘/ports/head’, ‘D’); element_add ————- 0 (1 row) …

Creating the new repo base directories Read More »

Scroll to Top