1
#!/usr/bin/python3 -bbI
2
2
# -*- mode: python; coding: utf-8 -*-
4
4
# Mandos Monitor - Control and monitor the Mandos server
6
# Copyright © 2009-2012 Teddy Hogeborn
7
# Copyright © 2009-2012 Björn Påhlsson
9
# This program is free software: you can redistribute it and/or modify
10
# it under the terms of the GNU General Public License as published by
6
# Copyright © 2009-2019 Teddy Hogeborn
7
# Copyright © 2009-2019 Björn Påhlsson
9
# This file is part of Mandos.
11
# Mandos is free software: you can redistribute it and/or modify it
12
# under the terms of the GNU General Public License as published by
11
13
# the Free Software Foundation, either version 3 of the License, or
12
14
# (at your option) any later version.
14
# This program is distributed in the hope that it will be useful,
15
# but WITHOUT ANY WARRANTY; without even the implied warranty of
16
# Mandos is distributed in the hope that it will be useful, but
17
# WITHOUT ANY WARRANTY; without even the implied warranty of
16
18
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17
19
# GNU General Public License for more details.
19
21
# You should have received a copy of the GNU General Public License
20
# along with this program. If not, see
21
# <http://www.gnu.org/licenses/>.
22
# along with Mandos. If not, see <http://www.gnu.org/licenses/>.
23
24
# Contact the authors at <mandos@recompile.se>.
26
27
from __future__ import (division, absolute_import, print_function,
29
from future_builtins import *
30
from future_builtins import *
37
41
import urwid.curses_display
40
44
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
49
locale.setlocale(locale.LC_ALL, '')
52
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
49
if sys.version_info.major == 2:
52
log = logging.getLogger(os.path.basename(sys.argv[0]))
53
logging.basicConfig(level="NOTSET", # Show all messages
54
format="%(message)s") # Show basic log messages
56
logging.captureWarnings(True) # Show warnings via the logging system
58
locale.setlocale(locale.LC_ALL, "")
60
logging.getLogger("dbus.proxies").setLevel(logging.CRITICAL)
54
62
# Some useful constants
55
domain = 'se.recompile'
56
server_interface = domain + '.Mandos'
57
client_interface = domain + '.Mandos.Client'
60
# Always run in monochrome mode
61
urwid.curses_display.curses.has_colors = lambda : False
63
# Urwid doesn't support blinking, but we want it. Since we have no
64
# use for underline on its own, we make underline also always blink.
65
urwid.curses_display.curses.A_UNDERLINE |= (
66
urwid.curses_display.curses.A_BLINK)
63
domain = "se.recompile"
64
server_interface = domain + ".Mandos"
65
client_interface = domain + ".Mandos.Client"
69
dbus.OBJECT_MANAGER_IFACE
70
except AttributeError:
71
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
68
74
def isoformat_to_datetime(iso):
69
75
"Parse an ISO 8601 date string to a datetime.datetime()"
89
96
def __init__(self, proxy_object=None, properties=None, **kwargs):
90
self.proxy = proxy_object # Mandos Client proxy object
97
self.proxy = proxy_object # Mandos Client proxy object
91
98
self.properties = dict() if properties is None else properties
92
99
self.property_changed_match = (
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
100
self.proxy.connect_to_signal("PropertiesChanged",
101
self.properties_changed,
102
dbus.PROPERTIES_IFACE,
96
103
byte_arrays=True))
98
105
if properties is None:
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
106
self.properties.update(self.proxy.GetAll(
108
dbus_interface=dbus.PROPERTIES_IFACE))
104
110
super(MandosClientPropertyCache, self).__init__(**kwargs)
106
def _property_changed(self, property, value):
107
"""Helper which takes positional arguments"""
108
return self.property_changed(property=property, value=value)
110
def property_changed(self, property=None, value=None):
111
"""This is called whenever we get a PropertyChanged signal
112
It updates the changed property in the "properties" dict.
112
def properties_changed(self, interface, properties, invalidated):
113
"""This is called whenever we get a PropertiesChanged signal
114
It updates the changed properties in the "properties" dict.
114
116
# Update properties dict with new value
115
self.properties[property] = value
117
if interface == client_interface:
118
self.properties.update(properties)
117
120
def delete(self):
118
121
self.property_changed_match.remove()
175
166
client_interface,
176
167
byte_arrays=True))
177
#self.logger('Created client {0}'
178
# .format(self.properties["Name"]))
180
def property_changed(self, property=None, value=None):
181
super(self, MandosClientWidget).property_changed(property,
183
if property == "ApprovalPending":
184
using_timer(bool(value))
185
if property == "LastCheckerStatus":
186
using_timer(value != 0)
187
#self.logger('Checker for client {0} (command "{1}") was '
188
# ' successful'.format(self.properties["Name"],
168
log.debug("Created client %s", self.properties["Name"])
191
170
def using_timer(self, flag):
192
171
"""Call this method with True or False when timer should be
193
172
activated or deactivated.
195
old = self._update_timer_callback_lock
197
self._update_timer_callback_lock += 1
199
self._update_timer_callback_lock -= 1
200
if old == 0 and self._update_timer_callback_lock:
174
if flag and self._update_timer_callback_tag is None:
201
175
# Will update the shown timer value every second
202
self._update_timer_callback_tag = (gobject.timeout_add
205
elif old and self._update_timer_callback_lock == 0:
206
gobject.source_remove(self._update_timer_callback_tag)
176
self._update_timer_callback_tag = (
177
GLib.timeout_add(1000,
178
glib_safely(self.update_timer)))
179
elif not (flag or self._update_timer_callback_tag is None):
180
GLib.source_remove(self._update_timer_callback_tag)
207
181
self._update_timer_callback_tag = None
209
183
def checker_completed(self, exitstatus, condition, command):
210
184
if exitstatus == 0:
185
log.debug('Checker for client %s (command "%s")'
186
" succeeded", self.properties["Name"], command)
214
190
if os.WIFEXITED(condition):
215
self.logger('Checker for client {0} (command "{1}")'
216
' failed with exit code {2}'
217
.format(self.properties["Name"], command,
218
os.WEXITSTATUS(condition)))
191
log.info('Checker for client %s (command "%s") failed'
192
" with exit code %d", self.properties["Name"],
193
command, os.WEXITSTATUS(condition))
219
194
elif os.WIFSIGNALED(condition):
220
self.logger('Checker for client {0} (command "{1}") was'
221
' killed by signal {2}'
222
.format(self.properties["Name"], command,
223
os.WTERMSIG(condition)))
224
elif os.WCOREDUMP(condition):
225
self.logger('Checker for client {0} (command "{1}")'
227
.format(self.properties["Name"], command))
229
self.logger('Checker for client {0} completed'
231
.format(self.properties["Name"]))
195
log.info('Checker for client %s (command "%s") was'
196
" killed by signal %d", self.properties["Name"],
197
command, os.WTERMSIG(condition))
234
200
def checker_started(self, command):
235
"""Server signals that a checker started. This could be useful
236
to log in the future. """
237
#self.logger('Client {0} started checker "{1}"'
238
# .format(self.properties["Name"],
201
"""Server signals that a checker started."""
202
log.debug('Client %s started checker "%s"',
203
self.properties["Name"], command)
242
205
def got_secret(self):
243
self.logger('Client {0} received its secret'
244
.format(self.properties["Name"]))
206
log.info("Client %s received its secret",
207
self.properties["Name"])
246
209
def need_approval(self, timeout, default):
248
message = 'Client {0} needs approval within {1} seconds'
211
message = "Client %s needs approval within %f seconds"
250
message = 'Client {0} will get its secret in {1} seconds'
251
self.logger(message.format(self.properties["Name"],
253
self.using_timer(True)
213
message = "Client %s will get its secret in %f seconds"
214
log.info(message, self.properties["Name"], timeout/1000)
255
216
def rejected(self, reason):
256
self.logger('Client {0} was rejected; reason: {1}'
257
.format(self.properties["Name"], reason))
217
log.info("Client %s was rejected; reason: %s",
218
self.properties["Name"], reason)
259
220
def selectable(self):
260
221
"""Make this a "selectable" widget.
261
222
This overrides the method from urwid.FlowWidget."""
264
225
def rows(self, maxcolrow, focus=False):
265
226
"""How many rows this widget will occupy might depend on
266
227
whether we have focus or not.
267
228
This overrides the method from urwid.FlowWidget"""
268
229
return self.current_widget(focus).rows(maxcolrow, focus=focus)
270
231
def current_widget(self, focus=False):
271
232
if focus or self.opened:
272
233
return self._focus_widget
273
234
return self._widget
275
236
def update(self):
276
237
"Called when what is visible on the screen should be updated."
277
238
# How to add standout mode to a style
278
with_standout = { "normal": "standout",
279
"bold": "bold-standout",
281
"underline-blink-standout",
282
"bold-underline-blink":
283
"bold-underline-blink-standout",
239
with_standout = {"normal": "standout",
240
"bold": "bold-standout",
242
"underline-blink-standout",
243
"bold-underline-blink":
244
"bold-underline-blink-standout",
286
247
# Rebuild focus and non-focus widgets using current properties
288
249
# Base part of a client. Name!
289
base = '{name}: '.format(name=self.properties["Name"])
250
base = "{name}: ".format(name=self.properties["Name"])
290
251
if not self.properties["Enabled"]:
291
252
message = "DISABLED"
253
self.using_timer(False)
292
254
elif self.properties["ApprovalPending"]:
293
timeout = datetime.timedelta(milliseconds
255
timeout = datetime.timedelta(
256
milliseconds=self.properties["ApprovalDelay"])
296
257
last_approval_request = isoformat_to_datetime(
297
258
self.properties["LastApprovalRequest"])
298
259
if last_approval_request is not None:
299
timer = timeout - (datetime.datetime.utcnow()
300
- last_approval_request)
260
timer = max(timeout - (datetime.datetime.utcnow()
261
- last_approval_request),
262
datetime.timedelta())
302
264
timer = datetime.timedelta()
303
265
if self.properties["ApprovedByDefault"]:
304
message = "Approval in {0}. (d)eny?"
266
message = "Approval in {}. (d)eny?"
306
message = "Denial in {0}. (a)pprove?"
307
message = message.format(unicode(timer).rsplit(".", 1)[0])
268
message = "Denial in {}. (a)pprove?"
269
message = message.format(str(timer).rsplit(".", 1)[0])
270
self.using_timer(True)
308
271
elif self.properties["LastCheckerStatus"] != 0:
309
272
# When checker has failed, show timer until client expires
310
273
expires = self.properties["Expires"]
353
320
if self.delete_hook is not None:
354
321
self.delete_hook(self)
355
322
return super(MandosClientWidget, self).delete(**kwargs)
357
324
def render(self, maxcolrow, focus=False):
358
325
"""Render differently if we have focus.
359
326
This overrides the method from urwid.FlowWidget"""
360
327
return self.current_widget(focus).render(maxcolrow,
363
330
def keypress(self, maxcolrow, key):
365
332
This overrides the method from urwid.FlowWidget"""
367
self.proxy.Enable(dbus_interface = client_interface,
334
self.proxy.Set(client_interface, "Enabled",
335
dbus.Boolean(True), ignore_reply=True,
336
dbus_interface=dbus.PROPERTIES_IFACE)
370
self.proxy.Disable(dbus_interface = client_interface,
338
self.proxy.Set(client_interface, "Enabled", False,
340
dbus_interface=dbus.PROPERTIES_IFACE)
373
342
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
374
dbus_interface = client_interface,
343
dbus_interface=client_interface,
375
344
ignore_reply=True)
377
346
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
378
dbus_interface = client_interface,
347
dbus_interface=client_interface,
379
348
ignore_reply=True)
380
349
elif key == "R" or key == "_" or key == "ctrl k":
381
350
self.server_proxy_object.RemoveClient(self.proxy
383
352
ignore_reply=True)
385
self.proxy.StartChecker(dbus_interface = client_interface,
354
self.proxy.Set(client_interface, "CheckerRunning",
355
dbus.Boolean(True), ignore_reply=True,
356
dbus_interface=dbus.PROPERTIES_IFACE)
388
self.proxy.StopChecker(dbus_interface = client_interface,
358
self.proxy.Set(client_interface, "CheckerRunning",
359
dbus.Boolean(False), ignore_reply=True,
360
dbus_interface=dbus.PROPERTIES_IFACE)
391
self.proxy.CheckedOK(dbus_interface = client_interface,
362
self.proxy.CheckedOK(dbus_interface=client_interface,
392
363
ignore_reply=True)
394
365
# elif key == "p" or key == "=":
403
def property_changed(self, property=None, **kwargs):
404
"""Call self.update() if old value is not new value.
374
def properties_changed(self, interface, properties, invalidated):
375
"""Call self.update() if any properties changed.
405
376
This overrides the method from MandosClientPropertyCache"""
406
property_name = unicode(property)
407
old_value = self.properties.get(property_name)
408
super(MandosClientWidget, self).property_changed(
409
property=property, **kwargs)
410
if self.properties.get(property_name) != old_value:
377
old_values = {key: self.properties.get(key)
378
for key in properties.keys()}
379
super(MandosClientWidget, self).properties_changed(
380
interface, properties, invalidated)
381
if any(old_values[key] != self.properties.get(key)
382
for key in old_values):
386
def glib_safely(func, retval=True):
387
def safe_func(*args, **kwargs):
389
return func(*args, **kwargs)
414
396
class ConstrainedListBox(urwid.ListBox):
415
397
"""Like a normal urwid.ListBox, but will consume all "up" or
416
398
"down" key presses, thus not allowing any containing widgets to
417
399
use them as an excuse to shift focus away from this widget.
419
401
def keypress(self, *args, **kwargs):
420
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
402
ret = (super(ConstrainedListBox, self)
403
.keypress(*args, **kwargs))
421
404
if ret in ("up", "down"):
430
413
def __init__(self, max_log_length=1000):
431
414
DBusGMainLoop(set_as_default=True)
433
416
self.screen = urwid.curses_display.Screen()
435
418
self.screen.register_palette((
437
420
"default", "default", None),
439
"default", "default", "bold"),
422
"bold", "default", "bold"),
440
423
("underline-blink",
441
"default", "default", "underline"),
424
"underline,blink", "default", "underline,blink"),
443
"default", "default", "standout"),
426
"standout", "default", "standout"),
444
427
("bold-underline-blink",
445
"default", "default", ("bold", "underline")),
428
"bold,underline,blink", "default",
429
"bold,underline,blink"),
446
430
("bold-standout",
447
"default", "default", ("bold", "standout")),
431
"bold,standout", "default", "bold,standout"),
448
432
("underline-blink-standout",
449
"default", "default", ("underline", "standout")),
433
"underline,blink,standout", "default",
434
"underline,blink,standout"),
450
435
("bold-underline-blink-standout",
451
"default", "default", ("bold", "underline",
436
"bold,underline,blink,standout", "default",
437
"bold,underline,blink,standout"),
455
440
if urwid.supports_unicode():
456
self.divider = "─" # \u2500
457
#self.divider = "━" # \u2501
441
self.divider = "─" # \u2500
459
#self.divider = "-" # \u002d
460
self.divider = "_" # \u005f
443
self.divider = "_" # \u005f
462
445
self.screen.start()
464
447
self.size = self.screen.get_cols_rows()
466
449
self.clients = urwid.SimpleListWalker([])
467
450
self.clients_dict = {}
469
452
# We will add Text widgets to this list
453
self.log = urwid.SimpleListWalker([])
471
454
self.max_log_length = max_log_length
473
456
# We keep a reference to the log widget so we can remove it
474
457
# from the ListWalker without it getting destroyed
475
458
self.logbox = ConstrainedListBox(self.log)
477
460
# This keeps track of whether self.uilist currently has
478
461
# self.logbox in it or not
479
462
self.log_visible = True
480
463
self.log_wrap = "any"
465
self.loghandler = UILogHandler(self)
483
self.log_message_raw(("bold",
484
"Mandos Monitor version " + version))
485
self.log_message_raw(("bold",
488
self.busname = domain + '.Mandos'
489
self.main_loop = gobject.MainLoop()
491
def client_not_found(self, fingerprint, address):
492
self.log_message("Client with address {0} and fingerprint"
493
" {1} could not be found"
494
.format(address, fingerprint))
468
self.add_log_line(("bold",
469
"Mandos Monitor version " + version))
470
self.add_log_line(("bold", "q: Quit ?: Help"))
472
self.busname = domain + ".Mandos"
473
self.main_loop = GLib.MainLoop()
475
def client_not_found(self, key_id, address):
476
log.info("Client with address %s and key ID %s could"
477
" not be found", address, key_id)
496
479
def rebuild(self):
497
480
"""This rebuilds the User Interface.
498
481
Call this when the widget layout needs to change"""
500
#self.uilist.append(urwid.ListBox(self.clients))
483
# self.uilist.append(urwid.ListBox(self.clients))
501
484
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
503
#header=urwid.Divider(),
486
# header=urwid.Divider(),
506
urwid.Divider(div_char=
488
footer=urwid.Divider(
489
div_char=self.divider)))
508
490
if self.log_visible:
509
491
self.uilist.append(self.logbox)
510
492
self.topwidget = urwid.Pile(self.uilist)
512
def log_message(self, message):
513
timestamp = datetime.datetime.now().isoformat()
514
self.log_message_raw(timestamp + ": " + message)
516
def log_message_raw(self, markup):
517
"""Add a log message to the log buffer."""
494
def add_log_line(self, markup):
518
495
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
519
if (self.max_log_length
520
and len(self.log) > self.max_log_length):
521
del self.log[0:len(self.log)-self.max_log_length-1]
522
self.logbox.set_focus(len(self.logbox.body.contents),
496
if self.max_log_length:
497
if len(self.log) > self.max_log_length:
498
del self.log[0:(len(self.log) - self.max_log_length)]
499
self.logbox.set_focus(len(self.logbox.body.contents)-1,
523
500
coming_from="above")
526
503
def toggle_log_display(self):
527
504
"""Toggle visibility of the log buffer."""
528
505
self.log_visible = not self.log_visible
530
#self.log_message("Log visibility changed to: "
531
# + unicode(self.log_visible))
507
log.debug("Log visibility changed to: %s", self.log_visible)
533
509
def change_log_display(self):
534
510
"""Change type of log display.
535
511
Currently, this toggles wrapping of text lines."""
539
515
self.log_wrap = "clip"
540
516
for textwidget in self.log:
541
517
textwidget.set_wrap_mode(self.log_wrap)
542
#self.log_message("Wrap mode: " + self.log_wrap)
544
def find_and_remove_client(self, path, name):
518
log.debug("Wrap mode: %s", self.log_wrap)
520
def find_and_remove_client(self, path, interfaces):
545
521
"""Find a client by its object path and remove it.
547
This is connected to the ClientRemoved signal from the
523
This is connected to the InterfacesRemoved signal from the
548
524
Mandos server object."""
525
if client_interface not in interfaces:
526
# Not a Mandos client object; ignore
550
529
client = self.clients_dict[path]
553
self.log_message("Unknown client {0!r} ({1!r}) removed"
532
log.warning("Unknown client %s removed", path)
558
def add_new_client(self, path):
536
def add_new_client(self, path, ifs_and_props):
537
"""Find a client by its object path and remove it.
539
This is connected to the InterfacesAdded signal from the
540
Mandos server object.
542
if client_interface not in ifs_and_props:
543
# Not a Mandos client object; ignore
559
545
client_proxy_object = self.bus.get_object(self.busname, path)
560
self.add_client(MandosClientWidget(server_proxy_object
563
=client_proxy_object,
546
self.add_client(MandosClientWidget(
547
server_proxy_object=self.mandos_serv,
548
proxy_object=client_proxy_object,
549
update_hook=self.refresh,
550
delete_hook=self.remove_client,
551
properties=dict(ifs_and_props[client_interface])),
572
554
def add_client(self, client, path=None):
573
555
self.clients.append(client)
575
557
path = client.proxy.object_path
576
558
self.clients_dict[path] = client
577
self.clients.sort(None, lambda c: c.properties["Name"])
559
self.clients.sort(key=lambda c: c.properties["Name"])
580
562
def remove_client(self, client, path=None):
581
563
self.clients.remove(client)
583
565
path = client.proxy.object_path
584
566
del self.clients_dict[path]
585
if not self.clients_dict:
586
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
587
# is completely emptied, we need to recreate it.
588
self.clients = urwid.SimpleListWalker([])
592
569
def refresh(self):
593
570
"""Redraw the screen"""
594
571
canvas = self.topwidget.render(self.size, focus=True)
595
572
self.screen.draw_screen(self.size, canvas)
598
575
"""Start the main loop and exit when it's done."""
576
log.addHandler(self.loghandler)
577
self.orig_log_propagate = log.propagate
578
log.propagate = False
579
self.orig_log_level = log.level
599
581
self.bus = dbus.SystemBus()
600
582
mandos_dbus_objc = self.bus.get_object(
601
583
self.busname, "/", follow_name_owner_changes=True)
602
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
584
self.mandos_serv = dbus.Interface(
585
mandos_dbus_objc, dbus_interface=server_interface)
606
587
mandos_clients = (self.mandos_serv
607
588
.GetAllClientsWithProperties())
589
if not mandos_clients:
590
log.warning("Note: Server has no clients.")
608
591
except dbus.exceptions.DBusException:
592
log.warning("Note: No Mandos server running.")
609
593
mandos_clients = dbus.Dictionary()
611
595
(self.mandos_serv
612
.connect_to_signal("ClientRemoved",
596
.connect_to_signal("InterfacesRemoved",
613
597
self.find_and_remove_client,
614
dbus_interface=server_interface,
598
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
615
599
byte_arrays=True))
616
600
(self.mandos_serv
617
.connect_to_signal("ClientAdded",
601
.connect_to_signal("InterfacesAdded",
618
602
self.add_new_client,
619
dbus_interface=server_interface,
603
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
620
604
byte_arrays=True))
621
605
(self.mandos_serv
622
606
.connect_to_signal("ClientNotFound",
623
607
self.client_not_found,
624
608
dbus_interface=server_interface,
625
609
byte_arrays=True))
626
for path, client in mandos_clients.iteritems():
610
for path, client in mandos_clients.items():
627
611
client_proxy_object = self.bus.get_object(self.busname,
629
self.add_client(MandosClientWidget(server_proxy_object
632
=client_proxy_object,
613
self.add_client(MandosClientWidget(
614
server_proxy_object=self.mandos_serv,
615
proxy_object=client_proxy_object,
617
update_hook=self.refresh,
618
delete_hook=self.remove_client),
643
self._input_callback_tag = (gobject.io_add_watch
622
self._input_callback_tag = (
624
GLib.IOChannel.unix_new(sys.stdin.fileno()),
625
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
626
glib_safely(self.process_input)))
647
627
self.main_loop.run()
648
628
# Main loop has finished, we should close everything now
649
gobject.source_remove(self._input_callback_tag)
629
GLib.source_remove(self._input_callback_tag)
630
with warnings.catch_warnings():
631
warnings.simplefilter("ignore", BytesWarning)
653
635
self.main_loop.quit()
636
log.removeHandler(self.loghandler)
637
log.propagate = self.orig_log_propagate
655
639
def process_input(self, source, condition):
656
640
keys = self.screen.get_input()
657
translations = { "ctrl n": "down", # Emacs
658
"ctrl p": "up", # Emacs
659
"ctrl v": "page down", # Emacs
660
"meta v": "page up", # Emacs
661
" ": "page down", # less
662
"f": "page down", # less
663
"b": "page up", # less
641
translations = {"ctrl n": "down", # Emacs
642
"ctrl p": "up", # Emacs
643
"ctrl v": "page down", # Emacs
644
"meta v": "page up", # Emacs
645
" ": "page down", # less
646
"f": "page down", # less
647
"b": "page up", # less
669
653
key = translations[key]
670
654
except KeyError: # :-)
673
657
if key == "q" or key == "Q":
676
660
elif key == "window resize":
677
661
self.size = self.screen.get_cols_rows()
679
elif key == "\f": # Ctrl-L
663
elif key == "ctrl l":
681
666
elif key == "l" or key == "D":
682
667
self.toggle_log_display()
714
700
self.topwidget.set_focus(self.logbox)
716
#elif (key == "end" or key == "meta >" or key == "G"
718
# pass # xxx end-of-buffer
719
#elif (key == "home" or key == "meta <" or key == "g"
721
# pass # xxx beginning-of-buffer
722
#elif key == "ctrl e" or key == "$":
723
# pass # xxx move-end-of-line
724
#elif key == "ctrl a" or key == "^":
725
# pass # xxx move-beginning-of-line
726
#elif key == "ctrl b" or key == "meta (" or key == "h":
728
#elif key == "ctrl f" or key == "meta )" or key == "l":
731
# pass # scroll up log
733
# pass # scroll down log
703
if log.level < logging.INFO:
704
log.setLevel(logging.INFO)
705
log.info("Verbose mode: Off")
707
log.setLevel(logging.NOTSET)
708
log.info("Verbose mode: On")
709
# elif (key == "end" or key == "meta >" or key == "G"
711
# pass # xxx end-of-buffer
712
# elif (key == "home" or key == "meta <" or key == "g"
714
# pass # xxx beginning-of-buffer
715
# elif key == "ctrl e" or key == "$":
716
# pass # xxx move-end-of-line
717
# elif key == "ctrl a" or key == "^":
718
# pass # xxx move-beginning-of-line
719
# elif key == "ctrl b" or key == "meta (" or key == "h":
721
# elif key == "ctrl f" or key == "meta )" or key == "l":
724
# pass # scroll up log
726
# pass # scroll down log
734
727
elif self.topwidget.selectable():
735
728
self.topwidget.keypress(self.size, key)
733
class UILogHandler(logging.Handler):
734
def __init__(self, ui, *args, **kwargs):
736
super(UILogHandler, self).__init__(*args, **kwargs)
738
logging.Formatter("%(asctime)s: %(message)s"))
739
def emit(self, record):
740
msg = self.format(record)
741
if record.levelno > logging.INFO:
743
self.ui.add_log_line(msg)
739
746
ui = UserInterface()
742
749
except KeyboardInterrupt:
745
ui.log_message(unicode(e))
750
with warnings.catch_warnings():
751
warnings.filterwarnings("ignore", "", BytesWarning)
754
with warnings.catch_warnings():
755
warnings.filterwarnings("ignore", "", BytesWarning)