default to ragu

roryc89 · roryc89 · commit 3e98fd1586b9 · 2026-03-08T04:59:32.000+01:00
diff --git a/editors/code/package.json b/editors/code/package.json
@@ -47,7 +47,7 @@
         },
         "pfc.sourcesCommand": {
           "type": "string",
-          "default": "spago sources",
+          "default": "ragu sources",
           "description": "Shell command that outputs PureScript source file paths (one per line). Example: find src .spago/p -name '*.purs'"
         }
       }

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@`
`47`	`47`	`},`
`48`	`48`	`"pfc.sourcesCommand": {`
`49`	`49`	`"type": "string",`
`50`		`- "default": "spago sources",`
	`50`	`+ "default": "ragu sources",`
`51`	`51`	`"description": "Shell command that outputs PureScript source file paths (one per line). Example: find src .spago/p -name '*.purs'"`
`52`	`52`	`}`
`53`	`53`	`}`