cpython/Demo/tkinter/guido/kill.py

121 lines
3.4 KiB
Python
Raw Normal View History

1994-10-06 12:50:49 -03:00
#!/usr/local/bin/python
# Tkinter interface to Linux `kill' command.
1994-06-27 05:00:16 -03:00
from Tkinter import *
from string import splitfields
from string import split
import commands
import posix
1994-06-27 05:00:16 -03:00
class BarButton(Menubutton):
_CNF = {Pack: {'side': 'left'}}
1994-06-27 05:00:16 -03:00
def __init__(self, master=None, cnf={}):
Menubutton.__init__(self, master, (self._CNF, cnf))
1994-06-27 05:00:16 -03:00
self.menu = Menu(self, {'name': 'menu'})
self['menu'] = self.menu
class Kill(Frame):
# List of (name, option, pid_column)
format_list = [('Default', '', 0),
('Long', '-l', 2),
('User', '-u', 1),
('Jobs', '-j', 1),
('Signal', '-s', 1),
('Memory', '-m', 0),
('VM', '-v', 0),
('Hex', '-X', 0)]
def kill(self, selected):
c = self.format_list[self.format.get()][2]
pid = split(selected)[c]
posix.system('kill' + ' -9 ' + pid)
1994-06-27 05:00:16 -03:00
self.do_update()
def do_update(self):
name, option, column = self.format_list[self.format.get()]
s = commands.getoutput('ps -w ' + option)
1994-06-27 05:00:16 -03:00
list = splitfields(s, '\n')
self.header.set(list[0])
del list[0]
y = self.frame.vscroll.get()[2]
self.frame.list.delete(0, AtEnd())
for line in list:
self.frame.list.insert(0, line)
self.frame.list.yview(y)
def do_motion(self, e):
e.widget.select_from(e.widget.nearest(e.y))
def do_leave(self, e):
e.widget.select_clear()
def do_1(self, e):
self.kill(e.widget.get(e.widget.nearest(e.y)))
def __init__(self, master=None, cnf={}):
Frame.__init__(self, master, cnf)
self.pack({'expand': 'yes', 'fill': 'both'})
self.bar = Frame(
self,
{'name': 'bar',
'relief': 'raised',
'bd': 2,
Pack: {'side': 'top',
'fill': 'x'}})
self.bar.file = BarButton(self.bar, {'text': 'File'})
self.bar.file.menu.add_command(
{'label': 'Quit', 'command': self.quit})
self.bar.view = BarButton(self.bar, {'text': 'View'})
self.format = IntVar(self)
self.format.set(2)
for num in range(len(self.format_list)):
self.bar.view.menu.add_radiobutton(
{'label': self.format_list[num][0],
'command': self.do_update,
'variable': self.format,
'value': num})
#self.bar.view.menu.add_separator()
#XXX ...
self.bar.tk_menuBar(self.bar.file, self.bar.view)
self.frame = Frame(
self,
{'relief': 'raised', 'bd': 2,
Pack: {'side': 'top',
'expand': 'yes',
'fill': 'both'}})
self.header = StringVar(self)
self.frame.label = Label(
self.frame,
{'relief': 'flat',
'anchor': 'nw',
'borderwidth': 0,
'textvariable': self.header,
Pack: {'side': 'top',
'fill': 'x'}})
self.frame.vscroll = Scrollbar(
self.frame,
{'orient': 'vertical'})
self.frame.list = Listbox(
self.frame,
{'relief': 'sunken',
'selectbackground': '#eed5b7',
'selectborderwidth': 0,
'yscroll': self.frame.vscroll.set})
self.frame.vscroll['command'] = self.frame.list.yview
self.frame.vscroll.pack({'side': 'right', 'fill': 'y'})
self.frame.list.pack(
{'side': 'top',
'expand': 'yes',
'fill': 'both'})
self.update = Button(
self,
{'text': 'Update',
'command': self.do_update,
Pack: {'expand': 'yes',
'fill': 'x'}})
self.frame.list.bind('<Motion>', self.do_motion)
self.frame.list.bind('<Leave>', self.do_leave)
self.frame.list.bind('<1>', self.do_1)
self.do_update()
if __name__ == '__main__':
kill = Kill(None, {'bd': 5})
kill.winfo_toplevel().title('Tkinter Process Killer')
kill.winfo_toplevel().minsize(1, 1)
kill.mainloop()