Theia setting file

Hi,

All theia browser share theia setting file.
So if one theia browser user change theia preference file setting info,
This information is also reflected in other theia browser users.

I want separate theia setting info for each user(browser).

How can i do ?

Thanks.

And what does ‘folders’ properties mean below settings.json file ?

{
   "folders": [
  {
     "path": "file:///home/username/helloworld"
	  },
	  {
     "path": "file:///home/username/dev/byeworld"
  }
   ],
   "settings": {
  // Enable/Disable the line numbers in the monaco editor
	  "editor.lineNumbers": "off",
  // Tab width in the editor
	  "editor.tabSize": 4,
   }
}

on https://www.npmjs.com/package/@theia/preferences?activeTab=readme

@kay the following discussion should help you understand multi-tenancy in theia:

As for the settings.json file you posted, it actually describes a multiple-root workspace where it is composed of multiple folders:

"folders": [
  {
     "path": "file:///home/username/helloworld"
	  },
	  {
     "path": "file:///home/username/dev/byeworld"
  }

Being helloworld and byeworld.

@vince-fugnitto

Thanks for your reply.

I read that discussion

https://spectrum.chat/theia/dev/is-theia-multi-tenant-in-any-way~e92b1c24-e086-46c4-a35d-00a7ff951f18

I understood like below. is it right ?

If you want mutli-tenant structure in theia,

  • Using gitpod
  • Build a wrapper around each instance of Theia

And “Build a wrapper around each instance of Theia” methodology is just start theia node per user ? right?