News for hackers. Stuff that matters.
Re:GitHub’s engineering team has moved to Codespaces by BiteCode_dev on Wednesday August 11, 2021 @02:14PM (#28145598)
So how do you edit media files, using some ssh fuse mount magic ? What happen when you need to work from a shitty internet network ? In train ?
Re:GitHub’s engineering team has moved to Codespaces by zamalek on Wednesday August 11, 2021 @03:18PM (#28146419)
> So how do you edit media file

This only does code. You'd probably have to do those locally and SCP them over or, yeah, some mount magic.

> What happen when you need to work from a shitty internet network ? In train ?

You'd have to commit your work, but you'd be able to bring the environment up on your laptop. There are still merits to this, such as the repeatable nature of containers. Depending on where you've worked, you may have been through the hell of a huge list of setup steps when on-boarding a project: that's one thing that containers are really good at automating.

You may not be the target audience, though.

Re:GitHub’s engineering team has moved to Codespaces by madeofpalk on Thursday August 12, 2021 @06:10AM (#28154334)
> this only does code.

VS Code remotes allows you to drag and drop files from your desktop and they're placed where you want them in your remote environment. I don't understand why this would be any different.

Re:GitHub’s engineering team has moved to Codespaces by nsonha on Wednesday August 11, 2021 @03:18PM (#28146418)
You edit media file in an editor?, wouldn't you just upload it? You can drag& drop into vscode and probably find the path to the tmp folder and work off that too.