blob: 24335cc549074d6ff930c5c68da70b0b0b2e2088 [file] [log] [blame]
Guido van Rossumac97fd71994-10-06 15:50:49 +00001#!/usr/local/bin/python
Guido van Rossume20864d1994-07-06 09:26:20 +00002# Tkinter interface to Linux `kill' command.
Guido van Rossumf7132471994-06-27 08:00:16 +00003
4from Tkinter import *
5from string import splitfields
6from string import split
Guido van Rossume20864d1994-07-06 09:26:20 +00007import commands
Guido van Rossum89cb67b1996-07-30 18:57:18 +00008import os
Guido van Rossumf7132471994-06-27 08:00:16 +00009
10class BarButton(Menubutton):
Guido van Rossum89cb67b1996-07-30 18:57:18 +000011 def __init__(self, master=None, **cnf):
12 apply(Menubutton.__init__, (self, master), cnf)
13 self.pack(side=LEFT)
14 self.menu = Menu(self, name='menu')
15 self['menu'] = self.menu
Guido van Rossumf7132471994-06-27 08:00:16 +000016
17class Kill(Frame):
18 # List of (name, option, pid_column)
19 format_list = [('Default', '', 0),
20 ('Long', '-l', 2),
21 ('User', '-u', 1),
22 ('Jobs', '-j', 1),
23 ('Signal', '-s', 1),
24 ('Memory', '-m', 0),
25 ('VM', '-v', 0),
26 ('Hex', '-X', 0)]
27 def kill(self, selected):
28 c = self.format_list[self.format.get()][2]
29 pid = split(selected)[c]
Guido van Rossum89cb67b1996-07-30 18:57:18 +000030 os.system('kill -9 ' + pid)
Guido van Rossumf7132471994-06-27 08:00:16 +000031 self.do_update()
32 def do_update(self):
33 name, option, column = self.format_list[self.format.get()]
Guido van Rossume20864d1994-07-06 09:26:20 +000034 s = commands.getoutput('ps -w ' + option)
Guido van Rossumf7132471994-06-27 08:00:16 +000035 list = splitfields(s, '\n')
36 self.header.set(list[0])
37 del list[0]
Guido van Rossum89cb67b1996-07-30 18:57:18 +000038 y = self.frame.vscroll.get()[0]
Guido van Rossumf7132471994-06-27 08:00:16 +000039 self.frame.list.delete(0, AtEnd())
40 for line in list:
41 self.frame.list.insert(0, line)
Guido van Rossum89cb67b1996-07-30 18:57:18 +000042 self.frame.list.yview(int(y))
Guido van Rossumf7132471994-06-27 08:00:16 +000043 def do_motion(self, e):
Guido van Rossum89cb67b1996-07-30 18:57:18 +000044 e.widget.select_clear(0, END)
45 e.widget.select_set(e.widget.nearest(e.y))
Guido van Rossumf7132471994-06-27 08:00:16 +000046 def do_leave(self, e):
Guido van Rossum89cb67b1996-07-30 18:57:18 +000047 e.widget.select_clear(0, END)
Guido van Rossumf7132471994-06-27 08:00:16 +000048 def do_1(self, e):
49 self.kill(e.widget.get(e.widget.nearest(e.y)))
Guido van Rossum89cb67b1996-07-30 18:57:18 +000050 def __init__(self, master=None, **cnf):
Guido van Rossumf7132471994-06-27 08:00:16 +000051 Frame.__init__(self, master, cnf)
Guido van Rossum89cb67b1996-07-30 18:57:18 +000052 self.pack(expand=1, fill=BOTH)
53 self.bar = Frame(self, name='bar', relief=RAISED,
54 borderwidth=2)
55 self.bar.pack(fill=X)
56 self.bar.file = BarButton(self.bar, text='File')
Guido van Rossumf7132471994-06-27 08:00:16 +000057 self.bar.file.menu.add_command(
Guido van Rossum89cb67b1996-07-30 18:57:18 +000058 label='Quit', command=self.quit)
59 self.bar.view = BarButton(self.bar, text='View')
Guido van Rossumf7132471994-06-27 08:00:16 +000060 self.format = IntVar(self)
61 self.format.set(2)
62 for num in range(len(self.format_list)):
63 self.bar.view.menu.add_radiobutton(
Guido van Rossum89cb67b1996-07-30 18:57:18 +000064 label=self.format_list[num][0],
65 command=self.do_update,
66 variable=self.format,
67 value=num)
Guido van Rossumf7132471994-06-27 08:00:16 +000068 #self.bar.view.menu.add_separator()
69 #XXX ...
70 self.bar.tk_menuBar(self.bar.file, self.bar.view)
Guido van Rossum89cb67b1996-07-30 18:57:18 +000071 self.frame = Frame(self, relief=RAISED, borderwidth=2)
72 self.frame.pack(expand=1, fill=BOTH)
Guido van Rossumf7132471994-06-27 08:00:16 +000073 self.header = StringVar(self)
Guido van Rossum89cb67b1996-07-30 18:57:18 +000074 self.frame.label = Label(self.frame, relief=FLAT, anchor=NW,
75 borderwidth=0,
76 textvariable=self.header)
77 self.frame.label.pack(fill=X)
78 self.frame.vscroll = Scrollbar(self.frame, orient=VERTICAL)
79 self.frame.list = Listbox(self.frame, relief=SUNKEN,
80 selectbackground='#eed5b7',
81 selectborderwidth=0,
82 yscroll=self.frame.vscroll.set)
Guido van Rossumf7132471994-06-27 08:00:16 +000083 self.frame.vscroll['command'] = self.frame.list.yview
Guido van Rossum89cb67b1996-07-30 18:57:18 +000084 self.frame.vscroll.pack(side=RIGHT, fill=Y)
85 self.frame.list.pack(expand=1, fill=BOTH)
86 self.update = Button(self, text="Update",
87 command=self.do_update)
88 self.update.pack(expand=1, fill=X)
Guido van Rossumf7132471994-06-27 08:00:16 +000089 self.frame.list.bind('<Motion>', self.do_motion)
90 self.frame.list.bind('<Leave>', self.do_leave)
91 self.frame.list.bind('<1>', self.do_1)
92 self.do_update()
93
94if __name__ == '__main__':
Guido van Rossum89cb67b1996-07-30 18:57:18 +000095 kill = Kill(None, borderwidth=5)
Guido van Rossumf7132471994-06-27 08:00:16 +000096 kill.winfo_toplevel().title('Tkinter Process Killer')
97 kill.winfo_toplevel().minsize(1, 1)
98 kill.mainloop()
99