Search for a command to run...
I’m the founder and CEO of Okteto, where we’re busy re-imagining the developer experience for cloud native applications.
Before Okteto, I built enterprise chat products at Atlassian, application lifecycle management tools at Elasticbox (now part of Centurylink) and cloud services at Microsoft Azure.
No comments yet. Be the first to comment.
https://www.youtube.com/watch?v=tcgQyrkS7Qs he bottleneck for AI in software development isn't smarter models. It's giving agents a real place to run. Back on The Software Plaza with Twain Taylor f
Platform Engineering Day North America 2026
KCD San Francisco Bay Area 2025
Earlier today, I had the privilege of speaking with a group of young entrepreneurs through the 3percentclub , an organization dedicated to increasing diversity in tech by providing underrepresented talent with accessible education. My friend Maria As...
Platform Engineering Day Europe 2025
If you're anything like me, you always have multiple terminal tabs open at any given time. As soon as I have 5 or 6 tabs open, it becomes impossible to remember what I have running on each tab.
Here's a script that will allow you to update the title of a terminal tab and/or window:
# !/bin/bash
title=$1
echo -n -e "\033]0;$title\007"
Copy the script above into /usr/bin/title and give it executable permissions (chomod +x /usr/bin/title). After that, typing title My Title will update the title of your current terminal or tab to the value provided. It works with both ASCII and Unicode characters.
Hope it helps!