47 lines
1.5 KiB
Text
47 lines
1.5 KiB
Text
--- dict.py.orig Mon Sep 18 07:31:48 2000
|
|
+++ dict.py Sat Mar 17 02:23:23 2001
|
|
@@ -252,7 +252,7 @@
|
|
def execute(self,word): # English to Chinese
|
|
# move self.index to top
|
|
self.index = 0
|
|
- command = g_command + ' --after-context=20 "^' + word + '.*=.*$" ' + dict_path + lower(word[0]) + '.lib' + '|awk "NR < 19 "'
|
|
+ command = g_command + ' -A 20 "^' + word + '.*=.*$" ' + dict_path + lower(word[0]) + '.lib' + '|awk "NR < 19 "'
|
|
result_lines = os.popen(command,'r').readlines()
|
|
#if result_lines:
|
|
if result_lines:
|
|
@@ -488,7 +488,7 @@
|
|
|
|
def console_e_dict(input=None):
|
|
#set up g_command
|
|
- g_command = '/bin/grep --ignore-case'
|
|
+ g_command = '/usr/bin/grep --ignore-case'
|
|
if input == None:
|
|
inp = raw_input('word:')
|
|
else:
|
|
@@ -503,7 +503,7 @@
|
|
console_c_dict()
|
|
return
|
|
else:
|
|
- command = g_command + " '^" + inp + "=.*$' " + dict_path + lower(word[0]) + '.lib'
|
|
+ command = g_command + " '^" + inp + "=.*$' " + dict_path + lower(inp[0]) + '.lib'
|
|
result_line = os.popen(command,'r').readline()
|
|
#if result_lines:
|
|
if result_line:
|
|
@@ -532,7 +532,7 @@
|
|
|
|
def console_c_dict(input=None):
|
|
#set up g_command
|
|
- g_command = '/bin/grep '
|
|
+ g_command = '/usr/bin/grep '
|
|
if input == None:
|
|
inp = raw_input('word:')
|
|
else:
|
|
@@ -603,7 +603,7 @@
|
|
print 'type -e to English-Chinese mode'
|
|
|
|
# set up grep command
|
|
- g_command = '/bin/grep --ignore-case'
|
|
+ g_command = '/usr/bin/grep --ignore-case'
|
|
dict_path = '/usr/X11R6/lib/X11/pyDict/'
|
|
|
|
# check if there is an DISPLAY environment variable
|