nowfound

Dev tools · November 18, 2022

Get AWS Credentials in GitHub Codespaces

hey everyone I've written a devcontainer feature that allows you to get AWS credentials for a role in GitHub Codespaces. No copy paste of AWS tokens needed! Let me know what you think!

Get AWS Credentials in GitHub Codespaces launched on November 18, 2022 with 25 votes, #1,131 of 3,471 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 3 years on.

In plain words

Get AWS Credentials in GitHub Codespaces is a devcontainer feature that automatically retrieves AWS credentials for a specified role within GitHub Codespaces environments. It eliminates the need to manually copy and paste AWS tokens, streamlining the setup process for developers working in Codespaces who need AWS access. The tool is designed for development teams using GitHub's cloud-based development environment.

written from the facts on this page · September 2026

From the sources

Assume AWS Roles in Dev Containers / Codespaces. Contribute to saml-to/devcontainer-features development by creating an account on GitHub.

Does a similar job

all alternatives →
  • Stop Putting AWS Credentials in GitHub Secrets2022 · github.com · ▲88

    Greetings! I've created a GitHub action that works that allows GitHub Actions to exchange a GitHub token for AWS Access Credentials. I've cultivated a few examples of it in action: https://github.com/saml-to/aws-assume-role-action-examples I've always found management of AWS Credentials has been a pain. So this setting up this Action works like this: 1) A SAML Identity Provider is created in AWS 2) A Role in AWS is set up to trust that Identity Provider 3) A config file is added to the repository indicating which role can be assumed 4) The GitHub Action exchanges the Repo…

  • Digger2021 · digger.dev · ▲354

    Build on AWS without having to learn it, no-code DevOps

  • AWS credentials management CLI tool2021 · github.com · ▲24

    POC Nathan Accacio. Contribute to iamarkadyt/aws-auth development by creating an account on GitHub.

  • Terraform Generator by Digger2022 · ▲87

    Automagically generate infrastructure-as-code on AWS

  • Fluidspace (beta)2023 · fluidspace.app · ▲87

    Web environment for custom code internal tools

  • 1Password Developer Tools2022 · 1password.com · ▲105

    Develop faster, eliminate complexity, protect your secrets

More dev tools this month

the category →
  • /dev/null▲486

    a social network for devs

    Dev tools · 3d ago · dev-null.sh

  • open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 28d ago · github.com

  • Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 26d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 23d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 21d ago · talanoa.email

  • CoreSpeed▲332

    One MCP for everything your agents need: apps, memory, tools

    Dev tools · 28d ago · corespeed.io

Source: Show HN post ↗

Launched alongside, November 2022

the whole month →
  • VEED.IO▲1,623

    Simple online video editing

    Growth · 2022 · veed.io

  • Meet your new partner in thought

    AI · 2022 · app.notion.com

  • Rewind▲1,420

    The search engine for your life

    AI · 2022 · rewind.ai

  • I made a thing! In 2014, I was holding a stack of iPhones and thought to myself: "Hey, if I had each phone display a playing card, I could click a button and they'd shuffle themselves" I pared that idea all the way down to this: trading cards made of e-ink displays. Right now, each card costs me about $20 each, but with only a bit more scale, I think I can get that down to $10. In doing this project, I learned how to design electronics and circuit boards. I learned Rust and wrote my first driver, I upped my CAD skills, 3D printed, and did my first resin casting. I generated the images on the…

    Dev tools · 2022 · wyldcard.io

  • Taplio▲1,004

    The all-in-one tool to grow your personal brand on LinkedIn

    Growth · 2022 · taplio.com

  • Catch beautiful sights, finish your work before sunset

    Work · 2022