58b20109cf
import sys
import yaml
with open(sys.argv[1]) as fp:
data = fp.read()
if not data.find("---") == 0:
# no head
print("NO YAML HEAD FOUND")
sys.exit(-1)
data = data[3:]
head_end = data.find("---")
head = data[0:head_end]
data = data[head_end+3:]
metadata = yaml.safe_load(head)
cats = metadata.pop('categories', None)
if cats != None:
if type(cats) == list:
tags = cats
elif type(cats) == str:
tags = cats.split()
tags = list(map(lambda t: t.lower(), tags))
metadata["tags"] = ", ".join(tags)
new_data = f"---\n{yaml.dump(metadata, default_flow_style=False)}---{data}"
# write it
print(f"coverted: categories to tags: {tags} - {sys.argv[1]}")
with open(sys.argv[1], "w") as fp:
fp.write(new_data)
sys.exit(0)
if not metadata.get("tags", None):
metadata["tags"] = "untagged"
new_data = f"---\n{yaml.dump(metadata, default_flow_style=False)}---{data}"
print(f"untagged: {sys.argv[1]}")
# write it
with open(sys.argv[1], "w") as fp:
fp.write(new_data)
sys.exit(0)
print("No changes needed")
760 B
760 B
| author | comments | date | layout | slug | tags | title | wordpress_id |
|---|---|---|---|---|---|---|---|
| dhananjayishere | true | 2012-12-12 10:51:00 | post | name-your-servers | terminal, ssh, gnu/linux, hack | Name your servers. | 171537089 |
If your day involves ssh-ing into various servers, you know how cumbersome is to type all that details again and again. When the number becomes large, you tend to confuse between host names, IPs and usernames.
But, ssh allows you to alias them into cute nicknames you prefer.
The configuration file needed to be edited is ~/.ssh/config.
The sample configuration that should be append to this file for adding
alias server to user@example.org is :
Host server
Hostname example.org
User user
Now all you have to do is
$ ssh server