equal
deleted
inserted
replaced
325 (format "kill.exe -s SIGALRM %d" |
325 (format "kill.exe -s SIGALRM %d" |
326 (if (processp process) (process-id process) process))) |
326 (if (processp process) (process-id process) process))) |
327 ad-do-it |
327 ad-do-it |
328 )) |
328 )) |
329 (ad-activate 'signal-process) |
329 (ad-activate 'signal-process) |
|
330 (modify-coding-system-alist 'process "gnutls-cli" '(binary . binary)) |
330 ) |
331 ) |
331 |
332 |
332 (ansi-color-for-comint-mode-on) |
333 (ansi-color-for-comint-mode-on) |
333 |
334 |
334 (setq explicit-bash-args '("-i")) |
335 (setq explicit-bash-args '("-i")) |