doc/tutorial/kubernetes: add cue get go examples

Extract CUE templates from the Kubernetes Go source and add to the tutorial.

Closes #53
https://github.com/cuelang/cue/pull/53

GitOrigin-RevId: 7b94b933431b36dd105263ac1643d9104d4d20cd
Change-Id: I1c460808491b87a618531f5c7ac27db0d3b87c82
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/2220
Reviewed-by: Marcel van Lohuizen <mpvl@google.com>
diff --git a/doc/tutorial/kubernetes/README.md b/doc/tutorial/kubernetes/README.md
index 05bb2a9..8e078d8 100644
--- a/doc/tutorial/kubernetes/README.md
+++ b/doc/tutorial/kubernetes/README.md
@@ -17,7 +17,7 @@
 1. use the tooling to rewrite CUE files to drop unnecessary fields
 1. repeat from step 2 for different subdirectories
 1. define commands to operate on the configuration
-1. extract CUE templates directly from Kubernetes Go source (TODO)
+1. extract CUE templates directly from Kubernetes Go source
 1. manually tailor the configuration
 1. map a Kubernetes configuration to `docker-compose` (TODO)
 
@@ -1034,6 +1034,39 @@
 A production real-life version of this could should omit the `--dry-run` flag
 of course.
 
+### Extract CUE templates directly from Kubernetes Go source
+
+```
+$ cue get go k8s.io/api/core/v1
+$ cue get go k8s.io/api/extensions/v1beta1
+$ cue get go k8s.io/api/apps/v1beta1
+
+```
+
+Now that we have the Kubernetes definitions in `pkg`, we can import and use them:
+
+```
+$ cat <<EOF > k8s_defs.cue
+package kube
+
+import (
+  "k8s.io/api/core/v1"
+  extensions_v1beta1 "k8s.io/api/extensions/v1beta1"
+  apps_v1beta1 "k8s.io/api/apps/v1beta1"
+)
+
+service <Name>: v1.Service & {}
+deployment <Name>: extensions_v1beta1.Deployment & {}
+daemonSet <Name>: extensions_v1beta1.DaemonSet & {}
+statefulSet <Name>: apps_v1beta1.StatefulSet & {}
+EOF
+```
+
+And, finally, we'll format again:
+
+```
+cue fmt
+```
 
 ## Manually tailored configuration
 
diff --git a/doc/tutorial/kubernetes/quick/services/k8s_defs.cue b/doc/tutorial/kubernetes/quick/services/k8s_defs.cue
new file mode 100644
index 0000000..22781b7
--- /dev/null
+++ b/doc/tutorial/kubernetes/quick/services/k8s_defs.cue
@@ -0,0 +1,12 @@
+package kube
+
+import (
+  "k8s.io/api/core/v1"
+  extensions_v1beta1 "k8s.io/api/extensions/v1beta1"
+  apps_v1beta1 "k8s.io/api/apps/v1beta1"
+)
+
+service <Name>: v1.Service & {}
+deployment <Name>: extensions_v1beta1.Deployment & {}
+daemonSet <Name>: extensions_v1beta1.DaemonSet & {}
+statefulSet <Name>: apps_v1beta1.StatefulSet & {}