diff options
| author | mich <mich@FreeBSD.org> | 2005-05-19 22:03:29 +0800 |
|---|---|---|
| committer | mich <mich@FreeBSD.org> | 2005-05-19 22:03:29 +0800 |
| commit | 17d8d8d7002283145cf48debff77ed155c7fdcc1 (patch) | |
| tree | 2bfa396a0ed6f5bd72d75a2d0110082a30c609dd | |
| parent | a09418bbf3f13b3b98d8f03d20bf85ef157aa8f1 (diff) | |
| download | freebsd-ports-gnome-17d8d8d7002283145cf48debff77ed155c7fdcc1.tar.gz freebsd-ports-gnome-17d8d8d7002283145cf48debff77ed155c7fdcc1.tar.zst freebsd-ports-gnome-17d8d8d7002283145cf48debff77ed155c7fdcc1.zip | |
o whoops, forgot the patch
| -rw-r--r-- | misc/portell/files/patch-portell.py | 26 | ||||
| -rw-r--r-- | ports-mgmt/portell/files/patch-portell.py | 26 |
2 files changed, 52 insertions, 0 deletions
diff --git a/misc/portell/files/patch-portell.py b/misc/portell/files/patch-portell.py new file mode 100644 index 000000000000..51177d7a848b --- /dev/null +++ b/misc/portell/files/patch-portell.py @@ -0,0 +1,26 @@ + +$FreeBSD$ + +--- portell.py.orig ++++ portell.py +@@ -14,12 +14,16 @@ + PORTELL_DB = "/var/db/portell.db" + + PORTS_DIR = "/usr/ports/" +- ++IGNORE_DIRS = { "distfiles":None, "Tools":None, "packages":None } + + def write_pathname(d, dirname, names): +- '/'.join(dirname.split('/')[:5]) # chop port path subdirs +- d[os.path.basename(dirname)] = dirname +- ++ dirs=dirname.split('/') ++ if len(dirs)==4: ++ if IGNORE_DIRS.has_key(dirs[3]): ++ del names[:] ++ elif len(dirs)==5: ++ d[dirs[4]] = dirname ++ del names[:] + + def update_db(msg): + print msg diff --git a/ports-mgmt/portell/files/patch-portell.py b/ports-mgmt/portell/files/patch-portell.py new file mode 100644 index 000000000000..51177d7a848b --- /dev/null +++ b/ports-mgmt/portell/files/patch-portell.py @@ -0,0 +1,26 @@ + +$FreeBSD$ + +--- portell.py.orig ++++ portell.py +@@ -14,12 +14,16 @@ + PORTELL_DB = "/var/db/portell.db" + + PORTS_DIR = "/usr/ports/" +- ++IGNORE_DIRS = { "distfiles":None, "Tools":None, "packages":None } + + def write_pathname(d, dirname, names): +- '/'.join(dirname.split('/')[:5]) # chop port path subdirs +- d[os.path.basename(dirname)] = dirname +- ++ dirs=dirname.split('/') ++ if len(dirs)==4: ++ if IGNORE_DIRS.has_key(dirs[3]): ++ del names[:] ++ elif len(dirs)==5: ++ d[dirs[4]] = dirname ++ del names[:] + + def update_db(msg): + print msg |