diff options
| author | Alex Kost <alezost@gmail.com> | 2016-04-02 21:19:13 +0300 |
|---|---|---|
| committer | Alex Kost <alezost@gmail.com> | 2016-04-15 11:32:37 +0300 |
| commit | 117195c28d945e27ce47b0f52821e61284abb1d0 (patch) | |
| tree | 7e74c8b4e03733f785edd65daa9e6f7cca05882e | |
| parent | 6ea80938aedd3ec4d7f5d7fd80b7da9b1993c577 (diff) | |
| download | guix-117195c28d945e27ce47b0f52821e61284abb1d0.tar.gz | |
emacs: Use full profile name in Guix buffer names.
* emacs/guix-ui.el (guix-ui-buffer-name-default): Rename to... (guix-ui-buffer-name-short): ... this. (guix-ui-buffer-name-full): New procedure. (guix-ui-buffer-name-function): Set it as default.
| -rw-r--r-- | emacs/guix-ui.el | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/emacs/guix-ui.el b/emacs/guix-ui.el index 47773de91f..1b696314cd 100644 --- a/emacs/guix-ui.el +++ b/emacs/guix-ui.el @@ -105,10 +105,11 @@ If `all', update all Guix buffers (not recommended)." :group 'guix-ui) (defcustom guix-ui-buffer-name-function - #'guix-ui-buffer-name-default + #'guix-ui-buffer-name-full "Function used to define a name of a Guix buffer. The function is called with 2 arguments: BASE-NAME and PROFILE." - :type '(choice (function-item guix-ui-buffer-name-default) + :type '(choice (function-item guix-ui-buffer-name-full) + (function-item guix-ui-buffer-name-short) (function-item guix-ui-buffer-name-simple) (function :tag "Other function")) :group 'guix-ui) @@ -117,11 +118,15 @@ The function is called with 2 arguments: BASE-NAME and PROFILE." "Return BASE-NAME." base-name) -(defun guix-ui-buffer-name-default (base-name profile) +(defun guix-ui-buffer-name-short (base-name profile) "Return buffer name by appending BASE-NAME and PROFILE's base file name." (guix-compose-buffer-name base-name (file-name-base (directory-file-name profile)))) +(defun guix-ui-buffer-name-full (base-name profile) + "Return buffer name by appending BASE-NAME and PROFILE's full name." + (guix-compose-buffer-name base-name profile)) + (defun guix-ui-buffer-name (base-name profile) "Return Guix buffer name based on BASE-NAME and profile. See `guix-ui-buffer-name-function' for details." |