reindent json to make code editor happier

app.py

@@ -32,287 +32,287 @@ example_values = [
     [
         "{}",
         """[
-    {
-        "role": "user",
-        "content": "What is the capital of Norway?"
-    }
+  {
+    "role": "user",
+    "content": "What is the capital of Norway?"
+  }
 ]""",
     ],
     [
         "{}",
         """[
-    {
-        "role": "system",
-        "content": "You are a somewhat helpful AI."
-    },
-    {
-        "role": "user",
-        "content": "What is the capital of Norway?"
-    }
+  {
+    "role": "system",
+    "content": "You are a somewhat helpful AI."
+  },
+  {
+    "role": "user",
+    "content": "What is the capital of Norway?"
+  }
 ]""",
     ],
     [
         "{}",
         """[
-    {
-        "role": "user",
-        "content": "What is the capital of Norway?"
-    },
-    {
-        "role": "assistant",
-        "content": "Oslo is the capital of Norway."
-    },
-    {
-        "role": "user",
-        "content": "What is the world famous sculpture park there called?"
-    },
-    {
-        "role": "assistant",
-        "content": "The world famous sculpture park in Oslo is called Vigelandsparken."
-    },
-    {
-        "role": "user",
-        "content": "What is the most famous sculpture in the park?"
-    }
+  {
+    "role": "user",
+    "content": "What is the capital of Norway?"
+  },
+  {
+    "role": "assistant",
+    "content": "Oslo is the capital of Norway."
+  },
+  {
+    "role": "user",
+    "content": "What is the world famous sculpture park there called?"
+  },
+  {
+    "role": "assistant",
+    "content": "The world famous sculpture park in Oslo is called Vigelandsparken."
+  },
+  {
+    "role": "user",
+    "content": "What is the most famous sculpture in the park?"
+  }
 ]""",
     ],
     [
         """{
-    "tools": [
-        {
-            "type": "function",
-            "function": {
-                "name": "get_current_weather",
-                "description": "Get the current weather in a given location",
-                "parameters": {
-                    "type": "object",
-                    "properties": {
-                        "location": {
-                            "type": "string",
-                            "description": "The city and state, e.g. San Francisco, CA"
-                        },
-                        "unit": {
-                            "type": "string",
-                            "enum": [ "celsius", "fahrenheit" ]
-                        }
-                    },
-                    "required": [ "location" ]
-                }
+  "tools": [
+    {
+      "type": "function",
+      "function": {
+        "name": "get_current_weather",
+        "description": "Get the current weather in a given location",
+        "parameters": {
+          "type": "object",
+          "properties": {
+            "location": {
+              "type": "string",
+              "description": "The city and state, e.g. San Francisco, CA"
+            },
+            "unit": {
+              "type": "string",
+              "enum": [ "celsius", "fahrenheit" ]
             }
+          },
+          "required": [ "location" ]
         }
-    ]
+      }
+    }
+  ]
 }""",
         """[
-    {
-        "role": "user",
-        "content": "What's the weather like in Oslo?"
-    }
+  {
+    "role": "user",
+    "content": "What's the weather like in Oslo?"
+  }
 ]""",
     ],
     [
         """{
-    "tools": [
-        {
-            "type": "function",
-            "function": {
-                "name": "get_current_weather",
-                "description": "Get the current weather in a given location",
-                "parameters": {
-                    "type": "object",
-                    "properties": {
-                        "location": {
-                            "type": "string",
-                            "description": "The city and state, e.g. San Francisco, CA"
-                        },
-                        "unit": {
-                            "type": "string",
-                            "enum": [ "celsius", "fahrenheit" ]
-                        }
-                    },
-                    "required": [ "location" ]
-                }
+  "tools": [
+    {
+      "type": "function",
+      "function": {
+        "name": "get_current_weather",
+        "description": "Get the current weather in a given location",
+        "parameters": {
+          "type": "object",
+          "properties": {
+            "location": {
+              "type": "string",
+              "description": "The city and state, e.g. San Francisco, CA"
+            },
+            "unit": {
+              "type": "string",
+              "enum": [ "celsius", "fahrenheit" ]
             }
+          },
+          "required": [ "location" ]
         }
-    ]
+      }
+    }
+  ]
 }""",
         """[
-    {
-        "role": "user",
-        "content": "What's the weather like in Oslo?"
-    },
-    {
-        "role": "assistant",
-        "content": null,
-        "tool_calls": [
-            {
-                "id": "toolcall1",
-                "type": "function",
-                "function": {
-                    "name": "get_current_weather",
-                    "arguments": {
-                        "location": "Oslo, Norway",
-                        "unit": "celsius"
-                    }
-                }
-            }
-        ]
-    },
-    {
-        "role": "tool",
-        "content": "20",
-        "tool_call_id": "toolcall1"
-    }
+  {
+    "role": "user",
+    "content": "What's the weather like in Oslo?"
+  },
+  {
+    "role": "assistant",
+    "content": null,
+    "tool_calls": [
+      {
+        "id": "toolcall1",
+        "type": "function",
+        "function": {
+          "name": "get_current_weather",
+          "arguments": {
+            "location": "Oslo, Norway",
+            "unit": "celsius"
+          }
+        }
+      }
+    ]
+  },
+  {
+    "role": "tool",
+    "content": "20",
+    "tool_call_id": "toolcall1"
+  }
 ]""",
     ],
     [
         """{
-    "tools": [
-        {
-            "type": "function",
-            "function": {
-                "name": "get_current_weather",
-                "description": "Get the current weather in a given location",
-                "parameters": {
-                    "type": "object",
-                    "properties": {
-                        "location": {
-                            "type": "string",
-                            "description": "The city and state, e.g. San Francisco, CA"
-                        },
-                        "unit": {
-                            "type": "string",
-                            "enum": [ "celsius", "fahrenheit" ]
-                        }
-                    },
-                    "required": [ "location" ]
-                }
-            }
-        }
-    ]
-}""",
-        """[
-    {
-        "role": "user",
-        "content": "What's the weather like in Oslo and Stockholm?"
-    },
+  "tools": [
     {
-        "role": "assistant",
-        "content": null,
-        "tool_calls": [
-            {
-                "id": "toolcall1",
-                "type": "function",
-                "function": {
-                    "name": "get_current_weather",
-                    "arguments": {
-                        "location": "Oslo, Norway",
-                        "unit": "celsius"
-                    }
-                }
+      "type": "function",
+      "function": {
+        "name": "get_current_weather",
+        "description": "Get the current weather in a given location",
+        "parameters": {
+          "type": "object",
+          "properties": {
+            "location": {
+              "type": "string",
+              "description": "The city and state, e.g. San Francisco, CA"
             },
-            {
-                "id": "toolcall2",
-                "type": "function",
-                "function": {
-                    "name": "get_current_weather",
-                    "arguments": {
-                        "location": "Stockholm, Sweden",
-                        "unit": "celsius"
-                    }
-                }
+            "unit": {
+              "type": "string",
+              "enum": [ "celsius", "fahrenheit" ]
             }
-        ]
-    },
-    {
-        "role": "tool",
-        "content": "20",
-        "tool_call_id": "toolcall1"
-    },
-    {
-        "role": "tool",
-        "content": "22",
-        "tool_call_id": "toolcall2"
+          },
+          "required": [ "location" ]
+        }
+      }
     }
+  ]
+}""",
+        """[
+  {
+    "role": "user",
+    "content": "What's the weather like in Oslo and Stockholm?"
+  },
+  {
+    "role": "assistant",
+    "content": null,
+    "tool_calls": [
+      {
+        "id": "toolcall1",
+        "type": "function",
+        "function": {
+          "name": "get_current_weather",
+          "arguments": {
+            "location": "Oslo, Norway",
+            "unit": "celsius"
+          }
+        }
+      },
+      {
+        "id": "toolcall2",
+        "type": "function",
+        "function": {
+          "name": "get_current_weather",
+          "arguments": {
+            "location": "Stockholm, Sweden",
+            "unit": "celsius"
+          }
+        }
+      }
+    ]
+  },
+  {
+    "role": "tool",
+    "content": "20",
+    "tool_call_id": "toolcall1"
+  },
+  {
+    "role": "tool",
+    "content": "22",
+    "tool_call_id": "toolcall2"
+  }
 ]""",
     ],
     [
         """{
-    "tools": [
-        {
-            "type": "function",
-            "function": {
-                "name": "create_user",
-                "description": "creates a user",
-                "parameters": {
-                    "type": "object",
-                    "properties": {
-                        "user": {
-                            "title": "User",
-                            "type": "object",
-                            "properties": {
-                                "user_id": {
-                                    "title": "User Id",
-                                    "description": "The unique identifier for a user",
-                                    "default": 0,
-                                    "type": "integer"
-                                },
-                                "name": {
-                                    "title": "Name",
-                                    "description": "The name of the user",
-                                    "type": "string"
-                                },
-                                "birthday": {
-                                    "type": "string",
-                                    "description": "The birthday of the user, e.g. 2022-01-01",
-                                    "pattern": "^([1-9] |1[0-9]| 2[0-9]|3[0-1])(.|-)([1-9] |1[0-2])(.|-|)20[0-9][0-9]$"
-                                },
-                                "email": {
-                                    "title": "Email",
-                                    "description": "The email address of the user",
-                                    "type": "string"
-                                },
-                                "friends": {
-                                    "title": "Friends",
-                                    "description": "List of friends of the user",
-                                    "type": "array",
-                                    "items": {"type": "string"}
-                                }
-                            },
-                            "required": ["name", "email"]
-                        }
-                    },
-                    "required": ["user"],
-                    "definitions": {}
+  "tools": [
+    {
+      "type": "function",
+      "function": {
+        "name": "create_user",
+        "description": "creates a user",
+        "parameters": {
+          "type": "object",
+          "properties": {
+            "user": {
+              "title": "User",
+              "type": "object",
+              "properties": {
+                "user_id": {
+                  "title": "User Id",
+                  "description": "The unique identifier for a user",
+                  "default": 0,
+                  "type": "integer"
+                },
+                "name": {
+                  "title": "Name",
+                  "description": "The name of the user",
+                  "type": "string"
+                },
+                "birthday": {
+                  "type": "string",
+                  "description": "The birthday of the user, e.g. 2022-01-01",
+                  "pattern": "^([1-9] |1[0-9]| 2[0-9]|3[0-1])(.|-)([1-9] |1[0-2])(.|-|)20[0-9][0-9]$"
+                },
+                "email": {
+                  "title": "Email",
+                  "description": "The email address of the user",
+                  "type": "string"
+                },
+                "friends": {
+                  "title": "Friends",
+                  "description": "List of friends of the user",
+                  "type": "array",
+                  "items": {"type": "string"}
                 }
+              },
+              "required": ["name", "email"]
             }
+          },
+          "required": ["user"],
+          "definitions": {}
         }
-    ]
+      }
+    }
+  ]
 }""",
         """[
-    {
-        "role": "user",
-        "content": "Create a user for Test User (test@user.org), born January 1st 2000, with some random friends."
-    }
+  {
+    "role": "user",
+    "content": "Create a user for Test User (test@user.org), born January 1st 2000, with some random friends."
+  }
 ]""",
     ],
     [
         """{
-    "documents": [
-        {
-            "title": "Much ado about nothing",
-            "content": "Dolor sit amet..."
-        },
-        {
-            "title": "Less ado about something",
-            "content": "Lorem ipsum..."
-        }
-    ]
-}""",
-        """[
+  "documents": [
     {
-        "role": "user",
-        "content": "Write a brief summary of the following documents."
+      "title": "Much ado about nothing",
+      "content": "Dolor sit amet..."
+    },
+    {
+      "title": "Less ado about something",
+      "content": "Lorem ipsum..."
     }
+  ]
+}""",
+        """[
+  {
+    "role": "user",
+    "content": "Write a brief summary of the following documents."
+  }
 ]""",
     ],
 ]
@@ -963,7 +963,7 @@ You can freely edit and test GGUF chat template(s) (and are encouraged to do so)
         if info.widget_data:
             for data in info.widget_data:
                 if "messages" in data:
-                    template_messages = json.dumps(data["messages"], ensure_ascii = False, indent = 4)
+                    template_messages = json.dumps(data["messages"], ensure_ascii = False, indent = 2)
                     break
 
         if isinstance(templates, list):
@@ -972,7 +972,7 @@ You can freely edit and test GGUF chat template(s) (and are encouraged to do so)
             template_rag = templates.get("rag")
             templates = templates.get("default")
 
-        return model_info, json.dumps(template_kwargs, ensure_ascii = False, indent = 4), template_messages, templates, template_tool_use, template_rag, template_inverse
+        return model_info, json.dumps(template_kwargs, ensure_ascii = False, indent = 2), template_messages, templates, template_tool_use, template_rag, template_inverse
 
 
     def template_data_from_model_files(
@@ -1139,7 +1139,7 @@ You can freely edit and test GGUF chat template(s) (and are encouraged to do so)
             x = example.copy()
             x0 = json.loads(x[0])
             x0.update(settings)
-            x[0] = json.dumps(x0, ensure_ascii = False, indent = 4)
+            x[0] = json.dumps(x0, ensure_ascii = False, indent = 2)
             examples.append(x)
 
         return gr.Dataset(
@@ -1303,7 +1303,7 @@ You can freely edit and test GGUF chat template(s) (and are encouraged to do so)
                 title = "Inverse Template Error",
             )
 
-        return chat_output, chat_tool_use_output, chat_rag_output, json.dumps(inverse_output, ensure_ascii = False, indent = 4) if inverse_output is not None else None
+        return chat_output, chat_tool_use_output, chat_rag_output, json.dumps(inverse_output, ensure_ascii = False, indent = 2) if inverse_output is not None else None
 
 
 if __name__ == "__main__":