From be0c8859d6ffa686345a66d626dc65577bc8c53a Mon Sep 17 00:00:00 2001 From: Lucien Cartier-Tilet Date: Sat, 22 May 2021 00:31:11 +0200 Subject: [PATCH] Simpler way of getting the kernel name --- eshell-info-banner.el | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/eshell-info-banner.el b/eshell-info-banner.el index cc9e820..bd33260 100644 --- a/eshell-info-banner.el +++ b/eshell-info-banner.el @@ -542,9 +542,7 @@ If RELEASE-FILE is nil, use '/etc/os-release'." (or (file-remote-p default-directory 'host) (system-name)) (system-name))) (uptime (eshell-info-banner--get-uptime)) - (kernel (concat (s-trim (shell-command-to-string "uname -s")) - " " - (s-trim (shell-command-to-string "uname -r")))) + (kernel (s-trim (shell-command-to-string "uname -sr"))) (partitions (eshell-info-banner--get-mounted-partitions)) (left-padding (eshell-info-banner--get-longest-path partitions)) (left-text (max (length os)