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
26
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:
54
# Show warnings by default
55
if not sys.warnoptions:
56
warnings.simplefilter("default")
58
log = logging.getLogger(os.path.basename(sys.argv[0]))
59
logging.basicConfig(level="NOTSET", # Show all messages
60
format="%(message)s") # Show basic log messages
62
logging.captureWarnings(True) # Show warnings via the logging system
64
locale.setlocale(locale.LC_ALL, "")
66
logging.getLogger("dbus.proxies").setLevel(logging.CRITICAL)
67
logging.getLogger("urwid").setLevel(logging.INFO)
54
69
# 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)
70
domain = "se.recompile"
71
server_interface = domain + ".Mandos"
72
client_interface = domain + ".Mandos.Client"
76
dbus.OBJECT_MANAGER_IFACE
77
except AttributeError:
78
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
68
81
def isoformat_to_datetime(iso):
69
82
"Parse an ISO 8601 date string to a datetime.datetime()"
81
int(second), # Whole seconds
82
int(fraction*1000000)) # Microseconds
84
class MandosClientPropertyCache(object):
94
int(second), # Whole seconds
95
int(fraction*1000000)) # Microseconds
98
class MandosClientPropertyCache:
85
99
"""This wraps a Mandos Client D-Bus proxy object, caches the
86
100
properties and calls a hook function when any of them are
89
103
def __init__(self, proxy_object=None, properties=None, **kwargs):
90
self.proxy = proxy_object # Mandos Client proxy object
104
self.proxy = proxy_object # Mandos Client proxy object
91
105
self.properties = dict() if properties is None else properties
92
106
self.property_changed_match = (
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
107
self.proxy.connect_to_signal("PropertiesChanged",
108
self.properties_changed,
109
dbus.PROPERTIES_IFACE,
96
110
byte_arrays=True))
98
112
if properties is None:
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
113
self.properties.update(self.proxy.GetAll(
115
dbus_interface=dbus.PROPERTIES_IFACE))
104
117
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.
119
def properties_changed(self, interface, properties, invalidated):
120
"""This is called whenever we get a PropertiesChanged signal
121
It updates the changed properties in the "properties" dict.
114
123
# Update properties dict with new value
115
self.properties[property] = value
124
if interface == client_interface:
125
self.properties.update(properties)
117
127
def delete(self):
118
128
self.property_changed_match.remove()
121
class MandosClientWidget(urwid.FlowWidget, MandosClientPropertyCache):
131
class MandosClientWidget(MandosClientPropertyCache, urwid.Widget):
122
132
"""A Mandos Client which is visible on the screen.
135
_sizing = frozenset(["flow"])
125
137
def __init__(self, server_proxy_object=None, update_hook=None,
126
delete_hook=None, logger=None, **kwargs):
138
delete_hook=None, **kwargs):
127
139
# Called on update
128
140
self.update_hook = update_hook
129
141
# Called on delete
130
142
self.delete_hook = delete_hook
131
143
# Mandos Server proxy object
132
144
self.server_proxy_object = server_proxy_object
136
146
self._update_timer_callback_tag = None
138
148
# The widget shown normally
139
149
self._text_widget = urwid.Text("")
140
150
# The widget shown when we have focus
165
175
client_interface,
166
176
byte_arrays=True))
167
#self.logger('Created client {0}'
168
# .format(self.properties["Name"]))
177
log.debug("Created client %s", self.properties["Name"])
170
179
def using_timer(self, flag):
171
180
"""Call this method with True or False when timer should be
172
181
activated or deactivated.
174
183
if flag and self._update_timer_callback_tag is None:
175
184
# Will update the shown timer value every second
176
self._update_timer_callback_tag = (gobject.timeout_add
185
self._update_timer_callback_tag = (
186
GLib.timeout_add(1000,
187
glib_safely(self.update_timer)))
179
188
elif not (flag or self._update_timer_callback_tag is None):
180
gobject.source_remove(self._update_timer_callback_tag)
189
GLib.source_remove(self._update_timer_callback_tag)
181
190
self._update_timer_callback_tag = None
183
192
def checker_completed(self, exitstatus, condition, command):
184
193
if exitstatus == 0:
194
log.debug('Checker for client %s (command "%s")'
195
" succeeded", self.properties["Name"], command)
188
199
if os.WIFEXITED(condition):
189
self.logger('Checker for client {0} (command "{1}")'
190
' failed with exit code {2}'
191
.format(self.properties["Name"], command,
192
os.WEXITSTATUS(condition)))
200
log.info('Checker for client %s (command "%s") failed'
201
" with exit code %d", self.properties["Name"],
202
command, os.WEXITSTATUS(condition))
193
203
elif os.WIFSIGNALED(condition):
194
self.logger('Checker for client {0} (command "{1}") was'
195
' killed by signal {2}'
196
.format(self.properties["Name"], command,
197
os.WTERMSIG(condition)))
198
elif os.WCOREDUMP(condition):
199
self.logger('Checker for client {0} (command "{1}")'
201
.format(self.properties["Name"], command))
203
self.logger('Checker for client {0} completed'
205
.format(self.properties["Name"]))
204
log.info('Checker for client %s (command "%s") was'
205
" killed by signal %d", self.properties["Name"],
206
command, os.WTERMSIG(condition))
208
209
def checker_started(self, command):
209
"""Server signals that a checker started. This could be useful
210
to log in the future. """
211
#self.logger('Client {0} started checker "{1}"'
212
# .format(self.properties["Name"],
210
"""Server signals that a checker started."""
211
log.debug('Client %s started checker "%s"',
212
self.properties["Name"], command)
216
214
def got_secret(self):
217
self.logger('Client {0} received its secret'
218
.format(self.properties["Name"]))
215
log.info("Client %s received its secret",
216
self.properties["Name"])
220
218
def need_approval(self, timeout, default):
222
message = 'Client {0} needs approval within {1} seconds'
220
message = "Client %s needs approval within %f seconds"
224
message = 'Client {0} will get its secret in {1} seconds'
225
self.logger(message.format(self.properties["Name"],
222
message = "Client %s will get its secret in %f seconds"
223
log.info(message, self.properties["Name"], timeout/1000)
228
225
def rejected(self, reason):
229
self.logger('Client {0} was rejected; reason: {1}'
230
.format(self.properties["Name"], reason))
226
log.info("Client %s was rejected; reason: %s",
227
self.properties["Name"], reason)
232
229
def selectable(self):
233
230
"""Make this a "selectable" widget.
234
This overrides the method from urwid.FlowWidget."""
231
This overrides the method from urwid.Widget."""
237
234
def rows(self, maxcolrow, focus=False):
238
235
"""How many rows this widget will occupy might depend on
239
236
whether we have focus or not.
240
This overrides the method from urwid.FlowWidget"""
237
This overrides the method from urwid.Widget"""
241
238
return self.current_widget(focus).rows(maxcolrow, focus=focus)
243
240
def current_widget(self, focus=False):
244
241
if focus or self.opened:
245
242
return self._focus_widget
246
243
return self._widget
248
245
def update(self):
249
246
"Called when what is visible on the screen should be updated."
250
247
# How to add standout mode to a style
251
with_standout = { "normal": "standout",
252
"bold": "bold-standout",
254
"underline-blink-standout",
255
"bold-underline-blink":
256
"bold-underline-blink-standout",
248
with_standout = {"normal": "standout",
249
"bold": "bold-standout",
251
"underline-blink-standout",
252
"bold-underline-blink":
253
"bold-underline-blink-standout",
259
256
# Rebuild focus and non-focus widgets using current properties
261
258
# Base part of a client. Name!
262
base = '{name}: '.format(name=self.properties["Name"])
259
base = "{name}: ".format(name=self.properties["Name"])
263
260
if not self.properties["Enabled"]:
264
261
message = "DISABLED"
265
262
self.using_timer(False)
266
263
elif self.properties["ApprovalPending"]:
267
timeout = datetime.timedelta(milliseconds
264
timeout = datetime.timedelta(
265
milliseconds=self.properties["ApprovalDelay"])
270
266
last_approval_request = isoformat_to_datetime(
271
267
self.properties["LastApprovalRequest"])
272
268
if last_approval_request is not None:
332
329
if self.delete_hook is not None:
333
330
self.delete_hook(self)
334
331
return super(MandosClientWidget, self).delete(**kwargs)
336
333
def render(self, maxcolrow, focus=False):
337
334
"""Render differently if we have focus.
338
This overrides the method from urwid.FlowWidget"""
335
This overrides the method from urwid.Widget"""
339
336
return self.current_widget(focus).render(maxcolrow,
342
339
def keypress(self, maxcolrow, key):
344
This overrides the method from urwid.FlowWidget"""
341
This overrides the method from urwid.Widget"""
346
self.proxy.Enable(dbus_interface = client_interface,
343
self.proxy.Set(client_interface, "Enabled",
344
dbus.Boolean(True), ignore_reply=True,
345
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Disable(dbus_interface = client_interface,
347
self.proxy.Set(client_interface, "Enabled", False,
349
dbus_interface=dbus.PROPERTIES_IFACE)
352
351
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
353
dbus_interface = client_interface,
352
dbus_interface=client_interface,
354
353
ignore_reply=True)
356
355
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
357
dbus_interface = client_interface,
356
dbus_interface=client_interface,
358
357
ignore_reply=True)
359
358
elif key == "R" or key == "_" or key == "ctrl k":
360
359
self.server_proxy_object.RemoveClient(self.proxy
362
361
ignore_reply=True)
364
self.proxy.StartChecker(dbus_interface = client_interface,
363
self.proxy.Set(client_interface, "CheckerRunning",
364
dbus.Boolean(True), ignore_reply=True,
365
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.StopChecker(dbus_interface = client_interface,
367
self.proxy.Set(client_interface, "CheckerRunning",
368
dbus.Boolean(False), ignore_reply=True,
369
dbus_interface=dbus.PROPERTIES_IFACE)
370
self.proxy.CheckedOK(dbus_interface = client_interface,
371
self.proxy.CheckedOK(dbus_interface=client_interface,
371
372
ignore_reply=True)
373
374
# elif key == "p" or key == "=":
382
def property_changed(self, property=None, **kwargs):
383
"""Call self.update() if old value is not new value.
383
def properties_changed(self, interface, properties, invalidated):
384
"""Call self.update() if any properties changed.
384
385
This overrides the method from MandosClientPropertyCache"""
385
property_name = unicode(property)
386
old_value = self.properties.get(property_name)
387
super(MandosClientWidget, self).property_changed(
388
property=property, **kwargs)
389
if self.properties.get(property_name) != old_value:
386
old_values = {key: self.properties.get(key)
387
for key in properties.keys()}
388
super(MandosClientWidget, self).properties_changed(
389
interface, properties, invalidated)
390
if any(old_values[key] != self.properties.get(key)
391
for key in old_values):
395
def glib_safely(func, retval=True):
396
def safe_func(*args, **kwargs):
398
return func(*args, **kwargs)
393
405
class ConstrainedListBox(urwid.ListBox):
394
406
"""Like a normal urwid.ListBox, but will consume all "up" or
395
407
"down" key presses, thus not allowing any containing widgets to
396
408
use them as an excuse to shift focus away from this widget.
398
410
def keypress(self, *args, **kwargs):
399
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
411
ret = (super(ConstrainedListBox, self)
412
.keypress(*args, **kwargs))
400
413
if ret in ("up", "down"):
405
class UserInterface(object):
406
419
"""This is the entire user interface - the whole screen
407
420
with boxes, lists of client widgets, etc.
409
422
def __init__(self, max_log_length=1000):
410
423
DBusGMainLoop(set_as_default=True)
412
425
self.screen = urwid.curses_display.Screen()
414
427
self.screen.register_palette((
416
429
"default", "default", None),
418
"default", "default", "bold"),
431
"bold", "default", "bold"),
419
432
("underline-blink",
420
"default", "default", "underline"),
433
"underline,blink", "default", "underline,blink"),
422
"default", "default", "standout"),
435
"standout", "default", "standout"),
423
436
("bold-underline-blink",
424
"default", "default", ("bold", "underline")),
437
"bold,underline,blink", "default",
438
"bold,underline,blink"),
425
439
("bold-standout",
426
"default", "default", ("bold", "standout")),
440
"bold,standout", "default", "bold,standout"),
427
441
("underline-blink-standout",
428
"default", "default", ("underline", "standout")),
442
"underline,blink,standout", "default",
443
"underline,blink,standout"),
429
444
("bold-underline-blink-standout",
430
"default", "default", ("bold", "underline",
445
"bold,underline,blink,standout", "default",
446
"bold,underline,blink,standout"),
434
449
if urwid.supports_unicode():
435
self.divider = "─" # \u2500
436
#self.divider = "━" # \u2501
450
self.divider = "─" # \u2500
438
#self.divider = "-" # \u002d
439
self.divider = "_" # \u005f
452
self.divider = "_" # \u005f
441
454
self.screen.start()
443
456
self.size = self.screen.get_cols_rows()
445
458
self.clients = urwid.SimpleListWalker([])
446
459
self.clients_dict = {}
448
461
# We will add Text widgets to this list
462
self.log = urwid.SimpleListWalker([])
450
463
self.max_log_length = max_log_length
452
465
# We keep a reference to the log widget so we can remove it
453
466
# from the ListWalker without it getting destroyed
454
467
self.logbox = ConstrainedListBox(self.log)
456
469
# This keeps track of whether self.uilist currently has
457
470
# self.logbox in it or not
458
471
self.log_visible = True
459
472
self.log_wrap = "any"
474
self.loghandler = UILogHandler(self)
462
self.log_message_raw(("bold",
463
"Mandos Monitor version " + version))
464
self.log_message_raw(("bold",
467
self.busname = domain + '.Mandos'
468
self.main_loop = gobject.MainLoop()
470
def client_not_found(self, fingerprint, address):
471
self.log_message("Client with address {0} and fingerprint"
472
" {1} could not be found"
473
.format(address, fingerprint))
477
self.add_log_line(("bold",
478
"Mandos Monitor version " + version))
479
self.add_log_line(("bold", "q: Quit ?: Help"))
481
self.busname = domain + ".Mandos"
482
self.main_loop = GLib.MainLoop()
484
def client_not_found(self, key_id, address):
485
log.info("Client with address %s and key ID %s could"
486
" not be found", address, key_id)
475
488
def rebuild(self):
476
489
"""This rebuilds the User Interface.
477
490
Call this when the widget layout needs to change"""
479
#self.uilist.append(urwid.ListBox(self.clients))
492
# self.uilist.append(urwid.ListBox(self.clients))
480
493
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
482
#header=urwid.Divider(),
495
# header=urwid.Divider(),
485
urwid.Divider(div_char=
497
footer=urwid.Divider(
498
div_char=self.divider)))
487
499
if self.log_visible:
488
500
self.uilist.append(self.logbox)
489
501
self.topwidget = urwid.Pile(self.uilist)
491
def log_message(self, message):
492
"""Log message formatted with timestamp"""
493
timestamp = datetime.datetime.now().isoformat()
494
self.log_message_raw(timestamp + ": " + message)
496
def log_message_raw(self, markup):
497
"""Add a log message to the log buffer."""
503
def add_log_line(self, markup):
498
504
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
499
if (self.max_log_length
500
and len(self.log) > self.max_log_length):
501
del self.log[0:len(self.log)-self.max_log_length-1]
502
self.logbox.set_focus(len(self.logbox.body.contents),
505
if self.max_log_length:
506
if len(self.log) > self.max_log_length:
507
del self.log[0:(len(self.log) - self.max_log_length)]
508
self.logbox.set_focus(len(self.logbox.body.contents)-1,
503
509
coming_from="above")
506
512
def toggle_log_display(self):
507
513
"""Toggle visibility of the log buffer."""
508
514
self.log_visible = not self.log_visible
510
#self.log_message("Log visibility changed to: "
511
# + unicode(self.log_visible))
516
log.debug("Log visibility changed to: %s", self.log_visible)
513
518
def change_log_display(self):
514
519
"""Change type of log display.
515
520
Currently, this toggles wrapping of text lines."""
519
524
self.log_wrap = "clip"
520
525
for textwidget in self.log:
521
526
textwidget.set_wrap_mode(self.log_wrap)
522
#self.log_message("Wrap mode: " + self.log_wrap)
524
def find_and_remove_client(self, path, name):
527
log.debug("Wrap mode: %s", self.log_wrap)
529
def find_and_remove_client(self, path, interfaces):
525
530
"""Find a client by its object path and remove it.
527
This is connected to the ClientRemoved signal from the
532
This is connected to the InterfacesRemoved signal from the
528
533
Mandos server object."""
534
if client_interface not in interfaces:
535
# Not a Mandos client object; ignore
530
538
client = self.clients_dict[path]
533
self.log_message("Unknown client {0!r} ({1!r}) removed"
541
log.warning("Unknown client %s removed", path)
538
def add_new_client(self, path):
545
def add_new_client(self, path, ifs_and_props):
546
"""Find a client by its object path and remove it.
548
This is connected to the InterfacesAdded signal from the
549
Mandos server object.
551
if client_interface not in ifs_and_props:
552
# Not a Mandos client object; ignore
539
554
client_proxy_object = self.bus.get_object(self.busname, path)
540
self.add_client(MandosClientWidget(server_proxy_object
543
=client_proxy_object,
555
self.add_client(MandosClientWidget(
556
server_proxy_object=self.mandos_serv,
557
proxy_object=client_proxy_object,
558
update_hook=self.refresh,
559
delete_hook=self.remove_client,
560
properties=dict(ifs_and_props[client_interface])),
552
563
def add_client(self, client, path=None):
553
564
self.clients.append(client)
555
566
path = client.proxy.object_path
556
567
self.clients_dict[path] = client
557
self.clients.sort(None, lambda c: c.properties["Name"])
568
self.clients.sort(key=lambda c: c.properties["Name"])
560
571
def remove_client(self, client, path=None):
561
572
self.clients.remove(client)
563
574
path = client.proxy.object_path
564
575
del self.clients_dict[path]
565
if not self.clients_dict:
566
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
567
# is completely emptied, we need to recreate it.
568
self.clients = urwid.SimpleListWalker([])
572
578
def refresh(self):
573
579
"""Redraw the screen"""
574
580
canvas = self.topwidget.render(self.size, focus=True)
575
581
self.screen.draw_screen(self.size, canvas)
578
584
"""Start the main loop and exit when it's done."""
585
log.addHandler(self.loghandler)
586
self.orig_log_propagate = log.propagate
587
log.propagate = False
588
self.orig_log_level = log.level
579
590
self.bus = dbus.SystemBus()
580
591
mandos_dbus_objc = self.bus.get_object(
581
592
self.busname, "/", follow_name_owner_changes=True)
582
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
593
self.mandos_serv = dbus.Interface(
594
mandos_dbus_objc, dbus_interface=server_interface)
586
596
mandos_clients = (self.mandos_serv
587
597
.GetAllClientsWithProperties())
588
598
if not mandos_clients:
589
self.log_message_raw(("bold", "Note: Server has no clients."))
599
log.warning("Note: Server has no clients.")
590
600
except dbus.exceptions.DBusException:
591
self.log_message_raw(("bold", "Note: No Mandos servers running."))
601
log.warning("Note: No Mandos server running.")
592
602
mandos_clients = dbus.Dictionary()
594
604
(self.mandos_serv
595
.connect_to_signal("ClientRemoved",
605
.connect_to_signal("InterfacesRemoved",
596
606
self.find_and_remove_client,
597
dbus_interface=server_interface,
607
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
598
608
byte_arrays=True))
599
609
(self.mandos_serv
600
.connect_to_signal("ClientAdded",
610
.connect_to_signal("InterfacesAdded",
601
611
self.add_new_client,
602
dbus_interface=server_interface,
612
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
603
613
byte_arrays=True))
604
614
(self.mandos_serv
605
615
.connect_to_signal("ClientNotFound",
606
616
self.client_not_found,
607
617
dbus_interface=server_interface,
608
618
byte_arrays=True))
609
for path, client in mandos_clients.iteritems():
619
for path, client in mandos_clients.items():
610
620
client_proxy_object = self.bus.get_object(self.busname,
612
self.add_client(MandosClientWidget(server_proxy_object
615
=client_proxy_object,
622
self.add_client(MandosClientWidget(
623
server_proxy_object=self.mandos_serv,
624
proxy_object=client_proxy_object,
626
update_hook=self.refresh,
627
delete_hook=self.remove_client),
626
self._input_callback_tag = (gobject.io_add_watch
631
self._input_callback_tag = (
633
GLib.IOChannel.unix_new(sys.stdin.fileno()),
634
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
635
glib_safely(self.process_input)))
630
636
self.main_loop.run()
631
637
# Main loop has finished, we should close everything now
632
gobject.source_remove(self._input_callback_tag)
638
GLib.source_remove(self._input_callback_tag)
639
with warnings.catch_warnings():
640
warnings.simplefilter("ignore", BytesWarning)
636
644
self.main_loop.quit()
645
log.removeHandler(self.loghandler)
646
log.propagate = self.orig_log_propagate
638
648
def process_input(self, source, condition):
639
649
keys = self.screen.get_input()
640
translations = { "ctrl n": "down", # Emacs
641
"ctrl p": "up", # Emacs
642
"ctrl v": "page down", # Emacs
643
"meta v": "page up", # Emacs
644
" ": "page down", # less
645
"f": "page down", # less
646
"b": "page up", # less
650
translations = {"ctrl n": "down", # Emacs
651
"ctrl p": "up", # Emacs
652
"ctrl v": "page down", # Emacs
653
"meta v": "page up", # Emacs
654
" ": "page down", # less
655
"f": "page down", # less
656
"b": "page up", # less
652
662
key = translations[key]
653
663
except KeyError: # :-)
656
666
if key == "q" or key == "Q":
659
669
elif key == "window resize":
660
670
self.size = self.screen.get_cols_rows()
662
elif key == "\f": # Ctrl-L
672
elif key == "ctrl l":
664
675
elif key == "l" or key == "D":
665
676
self.toggle_log_display()
697
709
self.topwidget.set_focus(self.logbox)
699
#elif (key == "end" or key == "meta >" or key == "G"
701
# pass # xxx end-of-buffer
702
#elif (key == "home" or key == "meta <" or key == "g"
704
# pass # xxx beginning-of-buffer
705
#elif key == "ctrl e" or key == "$":
706
# pass # xxx move-end-of-line
707
#elif key == "ctrl a" or key == "^":
708
# pass # xxx move-beginning-of-line
709
#elif key == "ctrl b" or key == "meta (" or key == "h":
711
#elif key == "ctrl f" or key == "meta )" or key == "l":
714
# pass # scroll up log
716
# pass # scroll down log
712
if log.level < logging.INFO:
713
log.setLevel(logging.INFO)
714
log.info("Verbose mode: Off")
716
log.setLevel(logging.NOTSET)
717
log.info("Verbose mode: On")
718
# elif (key == "end" or key == "meta >" or key == "G"
720
# pass # xxx end-of-buffer
721
# elif (key == "home" or key == "meta <" or key == "g"
723
# pass # xxx beginning-of-buffer
724
# elif key == "ctrl e" or key == "$":
725
# pass # xxx move-end-of-line
726
# elif key == "ctrl a" or key == "^":
727
# pass # xxx move-beginning-of-line
728
# elif key == "ctrl b" or key == "meta (" or key == "h":
730
# elif key == "ctrl f" or key == "meta )" or key == "l":
733
# pass # scroll up log
735
# pass # scroll down log
717
736
elif self.topwidget.selectable():
718
737
self.topwidget.keypress(self.size, key)
742
class UILogHandler(logging.Handler):
743
def __init__(self, ui, *args, **kwargs):
745
super(UILogHandler, self).__init__(*args, **kwargs)
747
logging.Formatter("%(asctime)s: %(message)s"))
748
def emit(self, record):
749
msg = self.format(record)
750
if record.levelno > logging.INFO:
752
self.ui.add_log_line(msg)
722
755
ui = UserInterface()
725
758
except KeyboardInterrupt:
728
ui.log_message(unicode(e))
759
with warnings.catch_warnings():
760
warnings.filterwarnings("ignore", "", BytesWarning)
763
with warnings.catch_warnings():
764
warnings.filterwarnings("ignore", "", BytesWarning)