Guido van Rossum | 4450bab | 1994-10-11 14:57:03 +0000 | [diff] [blame] | 1 | #! /usr/local/bin/python |
| 2 | |
Guido van Rossum | 502d960 | 1995-09-07 19:59:22 +0000 | [diff] [blame] | 3 | # Tkinter interface to SYSV `ps' and `kill' commands. |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 4 | |
| 5 | from Tkinter import * |
Guido van Rossum | 502d960 | 1995-09-07 19:59:22 +0000 | [diff] [blame] | 6 | |
| 7 | if TkVersion < 4.0: |
| 8 | raise ImportError, "This version of svkill requires Tk 4.0 or later" |
| 9 | |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 10 | from string import splitfields |
| 11 | from string import split |
| 12 | import commands |
| 13 | import os |
| 14 | |
| 15 | user = os.environ['LOGNAME'] |
| 16 | |
| 17 | class BarButton(Menubutton): |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 18 | def __init__(self, master=None, **cnf): |
| 19 | apply(Menubutton.__init__, (self, master), cnf) |
| 20 | self.pack(side=LEFT) |
| 21 | self.menu = Menu(self, name='menu') |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 22 | self['menu'] = self.menu |
| 23 | |
| 24 | class Kill(Frame): |
| 25 | # List of (name, option, pid_column) |
| 26 | view_list = [ |
| 27 | ('Default', ''), |
| 28 | ('Every (-e)', '-e'), |
| 29 | ('Non process group leaders (-d)', '-d'), |
| 30 | ('Non leaders with tty (-a)', '-a'), |
| 31 | ('For this user (-u %s)' % user, '-u %s' % user), |
| 32 | ] |
| 33 | format_list = [ |
| 34 | ('Default', '', 0), |
| 35 | ('Long (-l)', '-l', 3), |
| 36 | ('Full (-f)', '-f', 1), |
| 37 | ('Full Long (-f -l)', '-l -f', 3), |
| 38 | ('Session and group ID (-j)', '-j', 0), |
| 39 | ('Scheduler properties (-c)', '-c', 0), |
| 40 | ] |
| 41 | def kill(self, selected): |
| 42 | c = self.format_list[self.format.get()][2] |
| 43 | pid = split(selected)[c] |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 44 | os.system('kill -9 ' + pid) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 45 | self.do_update() |
| 46 | def do_update(self): |
| 47 | format = self.format_list[self.format.get()][1] |
| 48 | view = self.view_list[self.view.get()][1] |
| 49 | s = commands.getoutput('ps %s %s' % (view, format)) |
| 50 | list = splitfields(s, '\n') |
| 51 | self.header.set(list[0] + ' ') |
| 52 | del list[0] |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 53 | self.frame.list.delete(0, AtEnd()) |
| 54 | for line in list: |
| 55 | self.frame.list.insert(0, line) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 56 | def do_motion(self, e): |
Guido van Rossum | 502d960 | 1995-09-07 19:59:22 +0000 | [diff] [blame] | 57 | e.widget.select_clear('0', 'end') |
| 58 | e.widget.select_set(e.widget.nearest(e.y)) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 59 | def do_leave(self, e): |
Guido van Rossum | 502d960 | 1995-09-07 19:59:22 +0000 | [diff] [blame] | 60 | e.widget.select_clear('0', 'end') |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 61 | def do_1(self, e): |
| 62 | self.kill(e.widget.get(e.widget.nearest(e.y))) |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 63 | def __init__(self, master=None, **cnf): |
| 64 | apply(Frame.__init__, (self, master), cnf) |
| 65 | self.pack(expand=1, fill=BOTH) |
| 66 | self.bar = Frame(self, name='bar', relief=RAISED, |
| 67 | borderwidth=2) |
| 68 | self.bar.pack(fill=X) |
| 69 | self.bar.file = BarButton(self.bar, text='File') |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 70 | self.bar.file.menu.add_command( |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 71 | label='Quit', command=self.quit) |
| 72 | self.bar.view = BarButton(self.bar, text='View') |
| 73 | self.bar.format = BarButton(self.bar, text='Format') |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 74 | self.view = IntVar(self) |
| 75 | self.view.set(0) |
| 76 | self.format = IntVar(self) |
| 77 | self.format.set(0) |
| 78 | for num in range(len(self.view_list)): |
| 79 | label, option = self.view_list[num] |
| 80 | self.bar.view.menu.add_radiobutton( |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 81 | label=label, |
| 82 | command=self.do_update, |
| 83 | variable=self.view, |
| 84 | value=num) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 85 | for num in range(len(self.format_list)): |
| 86 | label, option, col = self.format_list[num] |
| 87 | self.bar.format.menu.add_radiobutton( |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 88 | label=label, |
| 89 | command=self.do_update, |
| 90 | variable=self.format, |
| 91 | value=num) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 92 | self.bar.tk_menuBar(self.bar.file, |
| 93 | self.bar.view, |
| 94 | self.bar.format) |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 95 | self.frame = Frame(self, relief=RAISED, borderwidth=2) |
| 96 | self.frame.pack(expand=1, fill=BOTH) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 97 | self.header = StringVar(self) |
| 98 | self.frame.label = Label( |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 99 | self.frame, relief=FLAT, anchor=NW, borderwidth=0, |
| 100 | font='*-Courier-Bold-R-Normal-*-120-*', |
| 101 | textvariable=self.header) |
| 102 | self.frame.label.pack(fill=Y, anchor=W) |
| 103 | self.frame.vscroll = Scrollbar(self.frame, orient=VERTICAL) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 104 | self.frame.list = Listbox( |
| 105 | self.frame, |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 106 | relief=SUNKEN, |
| 107 | font='*-Courier-Medium-R-Normal-*-120-*', |
| 108 | width=40, height=10, |
| 109 | selectbackground='#eed5b7', |
| 110 | selectborderwidth=0, |
| 111 | selectmode=BROWSE, |
| 112 | yscroll=self.frame.vscroll.set) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 113 | self.frame.vscroll['command'] = self.frame.list.yview |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 114 | self.frame.vscroll.pack(side=RIGHT, fill=Y) |
| 115 | self.frame.list.pack(expand=1, fill=BOTH) |
| 116 | self.update = Button(self, text='Update', |
| 117 | command=self.do_update) |
| 118 | self.update.pack(fill=X) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 119 | self.frame.list.bind('<Motion>', self.do_motion) |
| 120 | self.frame.list.bind('<Leave>', self.do_leave) |
| 121 | self.frame.list.bind('<1>', self.do_1) |
| 122 | self.do_update() |
| 123 | |
| 124 | if __name__ == '__main__': |
Guido van Rossum | 89cb67b | 1996-07-30 18:57:18 +0000 | [diff] [blame^] | 125 | kill = Kill(None, borderwidth=5) |
Guido van Rossum | 18886ab | 1994-07-08 15:08:55 +0000 | [diff] [blame] | 126 | kill.winfo_toplevel().title('Tkinter Process Killer (SYSV)') |
| 127 | kill.winfo_toplevel().minsize(1, 1) |
| 128 | kill.mainloop() |