print-unused-distfiles: sudo_pagered.

This commit is contained in:
Denis Knauf 2013-04-24 21:55:51 +02:00
parent 832a3789ca
commit 3828c4a740

View file

@ -376,7 +376,7 @@ EOF
cmds.on :help, '-h', '--help', &pagered { STDOUT.puts helptext }
cmds.on :sync, &sudod { cave.sync.() }
cmds.on :search, :show, &sudo_pagered {|*args| cave.this(*args).() }
cmds.on :search, :show, 'print-unused-distfiles', &sudo_pagered {|*args| cave.this(*args).() }
cmds.on :resolve, &sudo_pagered {|*args| cave.resumable!.this(*args).() }
cmds.on 'fix-linkage', &sudo_pagered {|*args|
cave.resumable!.this *args