From b6c3ebc32db84a0e7731e9184ae7a60dd25d32a4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Sat, 19 Oct 2024 13:31:34 +0200 Subject: [PATCH 1/4] Swap around host device and net name The data was swapped according to the table header. --- unikernel_single.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/unikernel_single.ml b/unikernel_single.ml index 3608f830..01006cc1 100644 --- a/unikernel_single.ml +++ b/unikernel_single.ml @@ -364,7 +364,10 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-gray-800"; ]; ] - [ txt name ]; + [ + txt + (Option.value device ~default:name); + ]; td ~a: [ @@ -375,10 +378,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-gray-800"; ]; ] - [ - txt - (Option.value device ~default:name); - ]; + [ txt name ]; td ~a: [ From 03d10dd7fd9285e5d62494c85794d90ba029ddcb Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 19 Oct 2024 15:37:26 +0200 Subject: [PATCH 2/4] adapt table headers --- unikernel_single.ml | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/unikernel_single.ml b/unikernel_single.ml index 01006cc1..a10cd7e0 100644 --- a/unikernel_single.ml +++ b/unikernel_single.ml @@ -222,7 +222,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-primary-600 uppercase"; ]; ] - [ txt "Host device" ]; + [ txt "Unikernel block device" ]; th ~a: [ @@ -233,7 +233,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-primary-600 uppercase"; ]; ] - [ txt "Name" ]; + [ txt "Host device" ]; th ~a: [ @@ -273,7 +273,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = ]; ] [ - txt (Option.value device ~default:""); + txt (Option.value device ~default:name); ]; td ~a: @@ -325,7 +325,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-primary-600 uppercase"; ]; ] - [ txt "Host device" ]; + [ txt "Unikernel network device" ]; th ~a: [ @@ -336,7 +336,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-primary-600 uppercase"; ]; ] - [ txt "Name" ]; + [ txt "Host device" ]; th ~a: [ @@ -365,8 +365,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = ]; ] [ - txt - (Option.value device ~default:name); + txt name; ]; td ~a: @@ -378,7 +377,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-gray-800"; ]; ] - [ txt name ]; + [ txt (Option.value device ~default:name); ] td ~a: [ From 3a4da00e29a0d6f46220b3f9f1148ff1c73855cb Mon Sep 17 00:00:00 2001 From: "Automated ocamlformat GitHub action, developed by robur.coop" Date: Sat, 19 Oct 2024 13:40:44 +0000 Subject: [PATCH 3/4] formatted code --- unikernel_single.ml | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/unikernel_single.ml b/unikernel_single.ml index a10cd7e0..8fde3ca8 100644 --- a/unikernel_single.ml +++ b/unikernel_single.ml @@ -273,7 +273,8 @@ let unikernel_single_layout ~csrf unikernel now console_output = ]; ] [ - txt (Option.value device ~default:name); + txt + (Option.value device ~default:name); ]; td ~a: @@ -364,9 +365,7 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-gray-800"; ]; ] - [ - txt name; - ]; + [ txt name ]; td ~a: [ @@ -377,8 +376,11 @@ let unikernel_single_layout ~csrf unikernel now console_output = text-gray-800"; ]; ] - [ txt (Option.value device ~default:name); ] - td + [ + txt + (Option.value device ~default:name); + ] + td ~a: [ a_class From eb509d8544d166f533345ab08ba17e0d2e9ac1fa Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 19 Oct 2024 15:42:47 +0200 Subject: [PATCH 4/4] minor fix --- unikernel_single.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/unikernel_single.ml b/unikernel_single.ml index 8fde3ca8..822de398 100644 --- a/unikernel_single.ml +++ b/unikernel_single.ml @@ -379,8 +379,8 @@ let unikernel_single_layout ~csrf unikernel now console_output = [ txt (Option.value device ~default:name); - ] - td + ]; + td ~a: [ a_class