1614791 - Rename DebuggerServer to DevToolsServer

Status: RESOLVED FIXED

(DevTools :: Framework, task, P3)

Description

[Alexandre Poirot [:ochameau]]

Splitting bug 1612528 in chunks as renaming everything all at once is quite stressful.

Comment 1

[Alexandre Poirot [:ochameau]]

Attachment: Bug 1614791 - Rename DebuggerServer to DevToolsServer.

$ sed -ie "s/DebuggerServer/DevToolsServer/g" $(git grep -l DebuggerServer)

Comment 2

[Alexandre Poirot [:ochameau]]

Attachment: Bug 1614791 - part2.

$ sed -ie "s//debugger-server"//devtools-server"/g" $(git grep -l /debugger-server)

Comment 3

[Alexandre Poirot [:ochameau]]

Attachment: Bug 1614791 - Rename debuggerServer to devToolsServer.

$ sed -ie "s/debuggerServer/devToolsServer/g" $(git grep -l debuggerServer)

Comment 4

[Alexandre Poirot [:ochameau]]

Attachment: Bug 1614791 - Rename comments about "Debugger Server".

$ sed -ie "s/Debugger server/DevTools server/g; s/Debugger Server/DevTools Server/g; s/debugger server/devtools server/g" $(git grep -il "debugger server" devtools)

Comment 5

[Alexandre Poirot [:ochameau]]

One last try push before squashing all the patches and landing:
https://treeherder.mozilla.org/#/jobs?repo=try&revision=8ce4505cdfd8be2c5449453e8e4bb2e05afe0b88

Comment 6

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/53660c5d2b54
Rename DebuggerServer to DevToolsServer. r=jdescottes

Comment 7

[Cristina Coroiu [:ccoroiu]]

https://hg.mozilla.org/mozilla-central/rev/53660c5d2b54