diff options
author | Noe Rubinstein <nrubinstein@avencall.com> | 2012-02-13 12:06:27 +0100 |
---|---|---|
committer | Noe Rubinstein <nrubinstein@avencall.com> | 2012-02-13 12:06:27 +0100 |
commit | 1454bb92cdb6331afd065b7340b8267738e62772 (patch) | |
tree | bae56e11ad3a4b1232be4b14298138543d24e09d /fix_linux_indent.rb | |
parent | 3a5483aeef9f8da21646e5d6013b1bbc8edd40e4 (diff) |
new scripts
Diffstat (limited to 'fix_linux_indent.rb')
-rwxr-xr-x | fix_linux_indent.rb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fix_linux_indent.rb b/fix_linux_indent.rb index 8d2da60..01dc12c 100755 --- a/fix_linux_indent.rb +++ b/fix_linux_indent.rb @@ -6,6 +6,8 @@ spl = spaces.scan(/\t/).length + (spaces.scan(/ /).length + 7) / 8 start = rand(0xFFFFFFFFFFFFFFFFFFFF).to_s(36) stop = rand(0xFFFFFFFFFFFFFFFFFFFF).to_s(36) input = '{' * spl + '//' + start + "\n" + str + "\n//" + stop + "\n}" * spl +indent = 'scripts/Lindent' +indent = 'indent' unless File.exist? indent io = IO.popen("indent -linux", "r+") io.print input io.close_write |