Style50 unfindable

[lauragrivel27]

🏷️ Discussion Type

Bug

Body

I have tried to use style50 to control my code and evaluate how can i improve the style of my code but it didnt work. It would always give me the same error message (even when i was on the right folder and after restarting the codespace and even stopping it at some point) : Failed to connect extension server on port 1337. Please visit cs50.dev/restart to restart your codespace. What can i do?

[github-actions[bot]]

💬 Your Product Feedback Has Been Submitted 🎉

Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users.

Here's what you can expect moving forward ⏩

• Your input will be carefully reviewed and cataloged by members of our product teams. 
  • Due to the high volume of submissions, we may not always be able to provide individual responses.
  • Rest assured, your feedback will help chart our course for product improvements.
• Other users may engage with your post, sharing their own perspectives or experiences. 
• GitHub staff may reach out for further clarification or insight. 
  • We may 'Answer' your discussion if there is a current solution, workaround, or roadmap/changelog post related to the feedback.

Where to look to see what's shipping 👀

• Read the Changelog for real-time updates on the latest GitHub features, enhancements, and calls for feedback.
• Explore our Product Roadmap, which details upcoming major releases and initiatives.

What you can do in the meantime 💻

• Upvote and comment on other user feedback Discussions that resonate with you.
• Add more information at any point! Useful details include: use cases, relevant labels, desired outcomes, and any accompanying screenshots.

As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities.

Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐

[jovanovic-djo]

I think that error comes from CS50's VS Code extension, not from style50 itself. So restarting from GitHub's Codespaces page usually doesn't fix it.
Maybe you can try these:

1. Run style50 from the terminal. This works without the extension server: style50 hello.c (use your own file name).
2. Update the codespace. Run update50 in the terminal and click Rebuild now if prompted.
3. Use the CS50 restart link. Visit https://cs50.dev/restart and open your codespace from cs50.dev (not github.com/codespaces).
4. Rebuild the container. Press Ctrl/Cmd+Shift+P -> "Codespaces: Rebuild Container". Your files in /workspaces are kept.

If none of these work, CS50's own Ed/Discord is the place you might get help, because the extension is CS50's, not GitHub's.