From 1fb01e46c594282eb3ecc797883dda4018c355a5 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Fri, 24 Nov 2006 00:00:32 +0000
Subject: [PATCH] * Put the date of each configuration in the Grub menu.

svn path=/nixu/trunk/; revision=7106
---
 test/grub-menu-builder.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/test/grub-menu-builder.sh b/test/grub-menu-builder.sh
index 83760d975cf9..36fc0b05e12b 100644
--- a/test/grub-menu-builder.sh
+++ b/test/grub-menu-builder.sh
@@ -42,8 +42,10 @@ for generation in $(
     | sed 's/system-\([0-9]\+\)-link/\1/' \
     | sort -n -r); do
     echo $generation
-    addEntry "NixOS - Configuration $generation" \
-        /nix/var/nix/profiles/system-$generation-link
+    link=/nix/var/nix/profiles/system-$generation-link
+    date=$(stat --printf="%y\n" $link | sed 's/\..*//')
+    addEntry "NixOS - Configuration $generation ($date)" $link
+        
 done