user-repos.conf #221

New issue

Closed

opened 2016-05-22 21:25:19 +00:00 by philm · 2 comments

philm commented

2016-05-22 21:25:19 +00:00

(Migrated from gitlab2.manjaro.org)

Created by: udeved

We likely need some check.
If we use it in the "HOME, we got to make sure 3rd party packages get disabled in the profile.

So if file not exists, we need checking for 3rd party packages and disable them.
Otherwise the build fails, if 3rd party packages are defined in pkglist.

We also need to filter out local repos.
Or we move user-repos.conf back in the profile.

*Created by: udeved* We likely need some check. If we use it in the "HOME, we got to make sure 3rd party packages get disabled in the profile. So if file not exists, we need checking for 3rd party packages and disable them. Otherwise the build fails, if 3rd party packages are defined in pkglist. - [x] We also need to filter out local repos. - [x] Or we move user-repos.conf back in the profile.

philm commented

2016-05-22 21:56:19 +00:00

(Migrated from gitlab2.manjaro.org)

Created by: philmmanjaro

Move it back to the profile folder. They store it there anyway. Also checking for packages being 3rd-party might be hard to do. However the option would be to parse all packages given with the standard pacman.conf file. If we don't find them, then they must be 3rd-party. However, without those the build might also fail, so doing the extra hassle makes no sense at all ...

*Created by: philmmanjaro* Move it back to the profile folder. They store it there anyway. Also checking for packages being 3rd-party might be hard to do. However the option would be to parse all packages given with the standard pacman.conf file. If we don't find them, then they must be 3rd-party. However, without those the build might also fail, so doing the extra hassle makes no sense at all ...

philm commented

2016-05-22 22:03:55 +00:00

(Migrated from gitlab2.manjaro.org)

Created by: udeved

Yep.

*Created by: udeved* Yep.