view vera/rules/L001.tcl @ 708:0dd4fb9dfcc8

Irccd: disable pid, gid, uid and daemon options, closes #846 @1h Those options are too platform specific and should be handled by the service manager instead.
author David Demelier <markand@malikania.fr>
date Sat, 07 Jul 2018 09:21:10 +0200
parents 6ec510722582
children
line wrap: on
line source

#!/usr/bin/tclsh
# No trailing whitespace

set strictMode [getParameter "strict-trailing-space" 0]

foreach f [getSourceFileNames] {
    set lineNumber 1
    set previousIndent ""
    foreach line [getAllLines $f] {

        if [regexp {^.*\r$} $line] {
          report $f $lineNumber "CRLF line ending"
          set line [string range $line 0 end-1]
        }
        if [regexp {^.*[[:space:]]+$} $line] {
            if {$strictMode || [string trim $line] != "" || $line != $previousIndent} {
                report $f $lineNumber "trailing whitespace"
            }
        }

        regexp {^([[:space:]]*).*$} $line dummy previousIndent
        incr lineNumber
    }
}