SHARE
TWEET

TITLE

a guest Sep 21st, 2019 98 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/bash
  2.  
  3. sed -i "s/numbox_to_point_ig\(.\)/numBox_to_pointBG_ig\1/g" $1
  4. sed -i "s/point_to_numbox_ig\(.\)/point_ig\1_to_numBox/g" $1
  5. sed -i "s/numbox/numBox/g" $1
  6. sed -i "s/NumBox/NUMBOX/g" $1
  7. sed -i "s/Box/BOX/g" $1
  8. sed -i "s/color/coulP/g" $1
  9. sed -i "s/Coul/COUL/g" $1
  10. sed -i "s/BLACK/NOIR/g" $1
  11. sed -i "s/WHITE/BLANC/g" $1
  12. sed -i "s/type/typeP/g" $1
  13. sed -i "s/typePdef/typedef/g" $1
  14. sed -i "s/Type/TYPE/g" $1
  15. sed -i "s/UNICORN/LICORNE/g" $1
  16. sed -i "s/EMPTY/VIDE/g" $1
  17. sed -i "s/gameboard/plateau/g" $1
  18. sed -i "s/draw/affiche/g" $1
  19. sed -i "s/draw_unicorn/affiche_licorne/g" $1
  20. sed -i "s/draw_paladin/affiche_paladin/g" $1
  21. sed -i "s/draw_pawn/affiche_piece/g" $1
  22. sed -i "s/edging/lisere/g" $1
  23. sed -i "s/init_gamepawns_\(.\)/init_piece\1_debug/g" $1
  24. sed -i "s/pawn/piece/g" $1
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
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top