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
timestamp = datetime.datetime.now().isoformat()
493
self.log_message_raw(timestamp + ": " + message)
495
def log_message_raw(self, markup):
496
"""Add a log message to the log buffer."""
503
def add_log_line(self, markup):
497
504
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
498
if (self.max_log_length
499
and len(self.log) > self.max_log_length):
500
del self.log[0:len(self.log)-self.max_log_length-1]
501
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,
502
509
coming_from="above")
505
512
def toggle_log_display(self):
506
513
"""Toggle visibility of the log buffer."""
507
514
self.log_visible = not self.log_visible
509
#self.log_message("Log visibility changed to: "
510
# + unicode(self.log_visible))
516
log.debug("Log visibility changed to: %s", self.log_visible)
512
518
def change_log_display(self):
513
519
"""Change type of log display.
514
520
Currently, this toggles wrapping of text lines."""
518
524
self.log_wrap = "clip"
519
525
for textwidget in self.log:
520
526
textwidget.set_wrap_mode(self.log_wrap)
521
#self.log_message("Wrap mode: " + self.log_wrap)
523
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):
524
530
"""Find a client by its object path and remove it.
526
This is connected to the ClientRemoved signal from the
532
This is connected to the InterfacesRemoved signal from the
527
533
Mandos server object."""
534
if client_interface not in interfaces:
535
# Not a Mandos client object; ignore
529
538
client = self.clients_dict[path]
532
self.log_message("Unknown client {0!r} ({1!r}) removed"
541
log.warning("Unknown client %s removed", path)
537
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
538
554
client_proxy_object = self.bus.get_object(self.busname, path)
539
self.add_client(MandosClientWidget(server_proxy_object
542
=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])),
551
563
def add_client(self, client, path=None):
552
564
self.clients.append(client)
554
566
path = client.proxy.object_path
555
567
self.clients_dict[path] = client
556
self.clients.sort(None, lambda c: c.properties["Name"])
568
self.clients.sort(key=lambda c: c.properties["Name"])
559
571
def remove_client(self, client, path=None):
560
572
self.clients.remove(client)
562
574
path = client.proxy.object_path
563
575
del self.clients_dict[path]
564
if not self.clients_dict:
565
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
566
# is completely emptied, we need to recreate it.
567
self.clients = urwid.SimpleListWalker([])
571
578
def refresh(self):
572
579
"""Redraw the screen"""
573
580
canvas = self.topwidget.render(self.size, focus=True)
574
581
self.screen.draw_screen(self.size, canvas)
577
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
578
590
self.bus = dbus.SystemBus()
579
591
mandos_dbus_objc = self.bus.get_object(
580
592
self.busname, "/", follow_name_owner_changes=True)
581
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
593
self.mandos_serv = dbus.Interface(
594
mandos_dbus_objc, dbus_interface=server_interface)
585
596
mandos_clients = (self.mandos_serv
586
597
.GetAllClientsWithProperties())
598
if not mandos_clients:
599
log.warning("Note: Server has no clients.")
587
600
except dbus.exceptions.DBusException:
601
log.warning("Note: No Mandos server running.")
588
602
mandos_clients = dbus.Dictionary()
590
604
(self.mandos_serv
591
.connect_to_signal("ClientRemoved",
605
.connect_to_signal("InterfacesRemoved",
592
606
self.find_and_remove_client,
593
dbus_interface=server_interface,
607
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
594
608
byte_arrays=True))
595
609
(self.mandos_serv
596
.connect_to_signal("ClientAdded",
610
.connect_to_signal("InterfacesAdded",
597
611
self.add_new_client,
598
dbus_interface=server_interface,
612
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
599
613
byte_arrays=True))
600
614
(self.mandos_serv
601
615
.connect_to_signal("ClientNotFound",
602
616
self.client_not_found,
603
617
dbus_interface=server_interface,
604
618
byte_arrays=True))
605
for path, client in mandos_clients.iteritems():
619
for path, client in mandos_clients.items():
606
620
client_proxy_object = self.bus.get_object(self.busname,
608
self.add_client(MandosClientWidget(server_proxy_object
611
=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),
622
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)))
626
636
self.main_loop.run()
627
637
# Main loop has finished, we should close everything now
628
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)
632
644
self.main_loop.quit()
645
log.removeHandler(self.loghandler)
646
log.propagate = self.orig_log_propagate
634
648
def process_input(self, source, condition):
635
649
keys = self.screen.get_input()
636
translations = { "ctrl n": "down", # Emacs
637
"ctrl p": "up", # Emacs
638
"ctrl v": "page down", # Emacs
639
"meta v": "page up", # Emacs
640
" ": "page down", # less
641
"f": "page down", # less
642
"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
648
662
key = translations[key]
649
663
except KeyError: # :-)
652
666
if key == "q" or key == "Q":
655
669
elif key == "window resize":
656
670
self.size = self.screen.get_cols_rows()
658
elif key == "\f": # Ctrl-L
672
elif key == "ctrl l":
660
675
elif key == "l" or key == "D":
661
676
self.toggle_log_display()
693
709
self.topwidget.set_focus(self.logbox)
695
#elif (key == "end" or key == "meta >" or key == "G"
697
# pass # xxx end-of-buffer
698
#elif (key == "home" or key == "meta <" or key == "g"
700
# pass # xxx beginning-of-buffer
701
#elif key == "ctrl e" or key == "$":
702
# pass # xxx move-end-of-line
703
#elif key == "ctrl a" or key == "^":
704
# pass # xxx move-beginning-of-line
705
#elif key == "ctrl b" or key == "meta (" or key == "h":
707
#elif key == "ctrl f" or key == "meta )" or key == "l":
710
# pass # scroll up log
712
# 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
713
736
elif self.topwidget.selectable():
714
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)
718
755
ui = UserInterface()
721
758
except KeyboardInterrupt:
724
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)