Closed Oglopf closed 1 year ago
This works for me, IDK if you want to play around with the contents of ~/.local/share/code-server/coder.json
in this PR or just defer it.
I'm going to try and fix that too in the script
, will update soon with that.
I'm finding a few things here
--extra-extensions-dir
and I don't see it as a valid CLI option in any version. In any case, extensions are picked up in --user-data-dir
and this seems duplicate, so I think we can safely remove it.--ignore-last-opened
is a valid option for all versions, so we don't even need the if block.Here's the diff I've been testing with.
Wait, do you want that extra-extensions
or not? I'm confused now as this was removed before, then put in, and now we want to remove it?
Wait, do you want that extra-extensions or not? I'm confused now as this was removed before, then put in, and now we want to remove it?
Yea I think so. I don't see it as a valid option for any version. Extensions are picked up in #{--user-data-dir}/extentions
so I don't really know what this does, if anything.
Again - I cannot find it as a valid option for any version and extensions work fine without it.
I know we've had issues with opening on the
working_dir
. I've found that the setting is in this file. If we want to continue to open on that initial directory we may be able to edit this file before we launch.