Advertisement
Guest User

Untitled

a guest
Jun 26th, 2019
98
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.75 KB | None | 0 0
  1. alias cd='source ~/.cd_extend'
  2.  
  3. #!/bin/bash
  4.  
  5. command cd $1
  6. echo $(pwd) > ~/.terminal_directory
  7.  
  8. #!/bin/bash
  9.  
  10. DIR=$(cat ~/.terminal_directory)
  11. gnome-terminal --working-directory=$DIR
  12.  
  13. terminal = "~/.dotfiles/open_terminal.sh"
  14. awful.key({ modkey, }, "Return", function () awful.util.spawn(terminal) end)
  15.  
  16. File --> Open Terminal
  17.  
  18. alias cd='source /home/my_user/.cd_extend'
  19.  
  20. #!/bin/bash
  21. command cd "$1"
  22. pwd > ~/.terminal_directory
  23.  
  24. #!/bin/bash
  25. DIR=$(cat /home/my_user/.terminal_directory)
  26. gnome-terminal --working-directory=$DIR
  27.  
  28. terminal = "/home/my_user/.dotfiles/open_terminal.sh
  29. awful.key({ modkey, }, "Return", function () awful.util.spawn(terminal) end)
  30.  
  31. source /etc/profile.d/vte.sh
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement