version 1.3, 2019/06/12 06:14:20 |
version 1.4, 2019/09/30 02:42:57 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/asir-mode/use-asir-mode.sh,v 1.2 2016/02/12 02:43:33 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-mode/use-asir-mode.sh,v 1.3 2019/06/12 06:14:20 takayama Exp $ |
|
|
_ok_local() { |
_ok_local() { |
echo "------------------------------------------------------------------" |
echo "------------------------------------------------------------------" |
|
|
|
|
_install_local() { |
_install_local() { |
mkdir -p $HOME/.emacs.d/OpenXM |
mkdir -p $HOME/.emacs.d/OpenXM |
cp $OpenXM_HOME/share/emacs/asir-mode.el $HOME/.emacs.d/OpenXM |
sed -e 's/(insert "asir")/(insert "openxm asir")/g' $OpenXM_HOME/share/emacs/asir-mode.el >$HOME/.emacs.d/OpenXM/asir-mode.el |
cat $OpenXM_HOME/share/emacs/use-asir-mode-local.txt >>$HOME/.emacs.d/init.el |
cat $OpenXM_HOME/share/emacs/use-asir-mode-local.txt >>$HOME/.emacs.d/init.el |
} |
} |
|
|