SHARE
TWEET

Untitled

a guest Jun 26th, 2019 67 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top