Remove home bin directory

This commit is contained in:
Jake Howard 2018-10-25 18:55:16 +01:00
parent 86320e641e
commit a32e5810dd
Signed by: jake
GPG key ID: 57AFB45680EDD477
3 changed files with 0 additions and 29 deletions

View file

@ -1,20 +0,0 @@
#!/usr/bin/env python3
import json
import sys
import os
ARGS = sys.argv[1:]
if not os.isatty(0):
data = sys.stdin.read()
else:
with open(ARGS.pop(0)) as f:
data = '\n'.join(f.readlines())
parsed_data = json.dumps(json.loads(data), indent=2, sort_keys=True)
if ARGS:
with open(ARGS[0], 'w') as f:
f.write(parsed_data)
else:
sys.stdout.write(parsed_data)

View file

@ -3,7 +3,6 @@
export PATH=${PATH}:${ANDROID_HOME}/tools
export PATH=${PATH}:${ANDROID_HOME}/platform-tools
export PATH=${PATH}:/opt/genymobile/genymotion
export PATH=${PATH}:${HOME}/.bin
export DOTFILES=${HOME}/.dotfiles

View file

@ -7,14 +7,6 @@
backup: true
trim_blocks: false
- copy:
src: ./files/bin
dest: "{{ home }}/.bin"
mode: 0755
owner: "{{ user }}"
group: users
directory_mode: true
- template:
src: ./files/global-environment
dest: /etc/environment