dirdiff: Doesn't work if directory name specified in command line ends with '/'

Nils Kassube kassube at gmx.net
Tue Nov 13 07:25:13 GMT 2007


Edgar Lakis wrote:
> Here's the patch that worked for me:
> ----------------------------------
> --- /usr/bin/dirdiff.orig     2007-11-12 17:01:11.000000000 +0200
> +++ /usr/bin/dirdiff    2007-11-12 16:45:15.000000000 +0200
> @@ -4700,6 +4700,8 @@
>                 }
>             }
>         } elseif {$arg != {}} {
> +           # remove trailing '/'
> +           regsub {/+$} $arg "" arg
>             lappend dirs $arg
>         }
>      }

Thanks for the patch. However, this is not the right place for sending 
patches. Please file a bug at <https://bugs.launchpad.net/bugs/+filebug> 
because on this mailing list your report + solution will be lost.


Nils




More information about the ubuntu-users mailing list