[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#875636: lintian ignores profiles under $HOME



Hi,

> lintian ignores profiles under $HOME

Without looking too much in detail right now, this commit looks
relevant:

  https://anonscm.debian.org/git/lintian/lintian.git/commit/?id=6aa20a6cb8e71ae0f1932328396e37efc63114d9

(And again, without testing, you might be able to specify
--include-dirs manually - see the Lintian manpage for more
re. --user-dirs and --no-user-dirs)

> To unsubscribe click: […]

(Please don't send these things to Debian lists; thank you!)


Best wishes

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-


Reply to: