From 0807353e7ba81c381cff78b6165f6c725bbcd2ec Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Wed, 24 Jan 2018 11:00:42 -0800 Subject: [PATCH 1/1] use EMACS_SERVER_NAME to specify the server name --- emacs_r | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/emacs_r b/emacs_r index d46625f..56a0dfb 100755 --- a/emacs_r +++ b/emacs_r @@ -1,7 +1,9 @@ #!/bin/sh if [ "x$(basename $0)" = "xemacs_r" ]; then - exec emacs --eval '(setq server-name "R")' --eval '(server-start)' "$@"; + EMACS_SERVER_NAME=R + export EMACS_SERVER_NAME + exec emacs "$@"; elif [ "x$(basename $0)" = "xemacsclient_r" ]; then exec emacsclient -s R "$@"; else -- 2.39.2