Theia setting file

#1

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

#2

@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.

#3

@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?