Enable company mode for shell scripts.
--- a/.emacs-my Thu Jan 26 17:09:36 2017 +0200
+++ b/.emacs-my Thu Jan 26 17:27:01 2017 +0200
@@ -3372,6 +3372,14 @@
(add-to-list 'auto-mode-alist '("\\.cygport\\'" . shell-script-mode))
+(defun my/sh-company-setup ()
+ (make-local-variable 'company-backends)
+ (setq company-backends '((company-capf company-files)))
+ (company-mode 1))
+
+(when (featurep 'company)
+ (add-hook 'sh-mode-hook #'my/sh-company-setup))
+
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(message "pg, Proof General")