From 5541167853835d35342c3ff34b3caace2e1e84bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?=
 =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= <ciro.santilli@gmail.com>
Date: Tue, 22 Jan 2019 00:00:00 +0000
Subject: [PATCH] config: update example to new mechanism

---
 README.adoc    | 10 +++++++++-
 config.example |  4 ----
 config.py      |  3 +++
 3 files changed, 12 insertions(+), 5 deletions(-)
 delete mode 100644 config.example
 create mode 100644 config.py

diff --git a/README.adoc b/README.adoc
index 29fd7db..16a07ea 100644
--- a/README.adoc
+++ b/README.adoc
@@ -11257,11 +11257,19 @@ It gets annoying to retype `--arch aarch64` for every single command, or to reme
 So simplify that, do:
 
 ....
-cp config.example data/config
+cp config.py data/
 ....
 
 and then edit the `data/config` file to your needs.
 
+Source: link:config.py[]
+
+You can also choose a different configuration file explicitly with:
+
+....
+./run --config data/config2.py
+....
+
 === Build the documentation
 
 You don't need to depend on GitHub:
diff --git a/config.example b/config.example
deleted file mode 100644
index dd8c8d9..0000000
--- a/config.example
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env python
-arch = 'aarch64'
-gem5 = True
-run_id = 'asdf'
diff --git a/config.py b/config.py
new file mode 100644
index 0000000..959932b
--- /dev/null
+++ b/config.py
@@ -0,0 +1,3 @@
+def set_args(args):
+    args['arch'] = 'aarch64'
+    args['gem5'] = True